An institution of hybrid systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1827, Issue , 2000, Pages 219-236

  Lourenço, Hugo ^a   Sernadas, Amílcar ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; HYBRID SYSTEMS; MODEL CHECKING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

CLASSICAL SYSTEMS; COMPLEX PROBLEMS; COMPOSITIONAL MODELING; COMPOSITIONAL SPECIFICATIONS; PARALLEL COMPOSITION; REAL-WORLD;

EMBEDDED SYSTEMS;

EID: 33645438835     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44616-3_13     Document Type: Conference Paper

References (13)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.
2. R. Alur, T. A. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181–201, 1996.
3. R. Alur, T. A. Henzinger, and E. D. Sontag, editors. Hybrid Systems III: Verification and Control. Lecture Notes in Computer Science 1066. Springer-Verlag, 1996.
4. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. Lecture Notes in Computer Science 999. Springer-Verlag, 1995.
5. P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems IV. Lecture Notes in Computer Science 1273. Springer-Verlag, 1997.
6. L. de Alfaro, A. Kapur, and Z. Manna. Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification. In R. Reischuk and M. Morvan, editors, STACS’97, volume 1200 of Lecture Notes in Computer Science, pages 153–164. Springer Verlag, 1997
7. R. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. Lecture Notes in Computer Science 736. Springer-Verlag, 1993.
8. T. A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HyTech. In E. Brinksma,W. R. Cleaveland, K. G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, pages 41–71. Springer-Verlag, 1995.
9. A. Kapur, T. A. Henzinger, Z. Manna, and A. Pnueli. Proving safety properties of hybrid systems. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, FTRTFT 94: Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 863, pages 431–454. Springer-Verlag, 1994.
10. H. Lourenço and A. Sernadas. Combining hybrid systems. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior Técnico, 1096 Lisboa, Portugal, 1999. Submitted for publication.
11. H. Lourenço, A. Sernadas, and C. Sernadas. Aggregation and interconnection of hybrid automata: Categorial characterization. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T´ecnico, 1096 Lisboa, Portugal, 1998. Presented at FIREworks Meeting, Magdeburg, May 15-16.
12. A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object specification. Acta Informatica, 35:729–773, 1998.
13. Glynn Winskel and Mogens Nielsen. Semantics and Logics of Computation, chapter Categories in Concurrency, pages 299–354. Publications of the Newton Institute. 1997.