Time-deterministic hybrid transition systems

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

Volumn 1567, Issue , 1999, Pages 238-250

  Nadjm Tehrani, Simin ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; HYBRID SYSTEMS; SEMANTICS;

COMPOSITION OPERATORS; COMPOSITIONALITY; CONTROL APPLICATIONS; DISCRETE TRANSITIONS; PARALLEL COMPOSITION; SYNCHRONOUS PROGRAM; TIME CONSTRAINTS; TRANSITION SYSTEM;

EQUATIONS OF STATE;

EID: 84956866348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49163-5_13     Document Type: Conference Paper

References (25)

1. M. Abadi and L. Lamport. Conjoining Specifications. ACM transactions on Pro-gramming Languages and Systems, 1995.
2. 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. Journal of Theoretical Computer Science, 138:3-34, 1995.
3. R. Alur, T. A. Henzinger, and E. Sontag, editors. Proc. of the DIMACS Inter-national Workshop on Verification and Control of Hybrid Systems, LNCS 1066. Springer Verlag, 1996.
4. S. Bensalem, P. Caspi, and C. Parent-Vigouroux. Handling Data-Flow Programs in PVS. Technical report, VERIMAG, 1996. Available through http://www-verimag. imag. fr//SYNCHRONE/SYRF/HTML97/a341. html.
5. A. Benveniste. Compositional and Uniform Modelling of Hybrid Systems. In Alur et al. [3], pages 41-51.
6. G. Berry. The Foundations of Esterel. In Proofs, Languages and Interaction: Essays in Honour of Robin Milner. MIT Press, 1998. To appear.
7. M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Laboratory for Information and Decision Systems, Massachusetts Institute of Technoloy, June 1995. Dissertation no. LIDS-TH-2304.
8. J. W. de Bakker, C. Huizing, W. P. de Roever, and G. Rozenberg, editors. Real-Time: Theory in Practice, Proc. REX workshop 1991. Springer Verlag, LNCS 600, 1992.
9. B. Dutertre and V. Stavridou. Formal Requirements Analysis of an Avionics Control System. IEEE Transactions on Software Engineering, 25(5):267-278, May 1997.
10. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
11. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.
12. Y. Kesten, Z. Manna, and A. Pnueli. Verifying Clocked Transition Systems. In Alur et al. [3], pages 13-40.
13. H. Langmaack, W.-P. de Roever, and J. Vytopil, editors. Proc. of the 3rd. Interna-tional Conference on Formal Techniques in Real-time and Fault-tolerant Systems, LNCS 863. Springer Verlag, 1994.
14. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg. Hybrid I/O Automata. In Alur et al. [3], pages 496-510.
15. O. Maler, Z. Manna, and A. Pnueli. From Timed to Hybrid Systems. In de Bakker et al. [8], pages 447-484.
16. Z. Manna and A. Pnueli. Models for Reactivity. Acta Informatica, 30:609-678, 1993.
17. S. Nadjm-Tehrani and J-E. Strömberg. From Physical modelling to Compositional models of Hybrid Systems. In Langmaack et al. [13], pages 583-604.
18. S. Nadjm-Tehrani and J-E. Strömberg. Proving Dynamic Properties in an Aerospace Application. In Proc. of the 16th International Symposium on Real-time Systems, pages 2-10. IEEE Computer Society Press, December 1995.
19. S. Nadjm-Tehrani and J-E. Strömberg. Verification of Dynamic Properties in an Aerospace application. Formal Methods in System Design, 1998. To appear.
20. The SYRF Project. Work package 7 Deliverable: Analog/ discrete synchronous design-Annex A. 7. 1a. Available from http://www-verimag. imag. fr//SYNCHRONE/SYRF/HTML97/a71. html, December 1997.
21. J. Sifakis and S. Yovine. Compositional Specification of Timed Systems. In Proc. of the 13th annual Symposium on Theoretical Aspects of Computer Science, STAC-S'96, LNCS 1046, pages 347-359. Springer Verlag, 1996.
22. J.-E. Strömberg, S. Nadjm-Tehrani, and J. Top. Switched Bond Graphs as Frontend to Formal Verification of Hybrid Systems. In Alur et al. [3], pages 282-293.
23. J. E. Strömberg and S. Nadjm-Tehrani. On Discrete and Hybrid Representation of Hybrid Systems. In Proceedings of the SCS International Conference on Modeling and Simulation (ESM '94), pages 1085-1089, Barcelona, June 1994.
24. M. Westhead and J. Hallam. Modelling Hybrid Systems as the Limit of Discrete Computational Processes. In Proceedings of the International Conference on Robotics and Automation. IEEE, 1996.
25. M. Westhead and S. Nadjm-Tehrani. Verification of Embedded Systems using Synchronous Observers. In Proceedings of the 4th International Conference on Formal Techniques in Real-time and Fault-tolerant Systems, LNCS 1135, pages 405-419. Springer Verlag, September 1996.