A toolbox for proving and maintaining hybrid specifications

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

Volumn 1273, Issue , 1997, Pages 18-30

  Branicky, Michael S ^a,b   Dolginova, Ekaterina ^a   Lynch, Nancy ^a  

^a Department of Electrical Engineering and Computer Science   (United States)

^b Case Western Reserve University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIAL EQUATIONS; INVARIANCE; ROBUST CONTROL; SPECIFICATIONS;

DERIVATIVE INFORMATION;

HYBRID SYSTEMS;

EID: 34548293691     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031553     Document Type: Conference Paper

References (21)

1. Panos Antsaklis et al, editors. Hybrid Systems II. vol. 999, Lecture Notes in Computer Science. Springer, New York, 1995.
2. A. Benveniste and G. Berry, guest editors. Proc. of the IEEE, 79(9), 1991. Special Issue on The Synchronous Approach to Reactive and Real-Time Systems.
3. A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the signal language. IEEE Transactions on Automatic Control, 35(5), 1990.
4. N. P. Bhatia and G. P. Szegö. Dynamical Systems: Stability Theory and Applications, vol. 35 of Lecture Notes in Mathematics. Springer, Berlin, 1967.
5. J. W. de Bakker et al., editors. Real-Time: Theory in Practice, vol. 600 of Lecture Notes in Computer Science. Springer, New York, 1991.
6. E. Dolginova and N. Lynch. "Safety Verification for Automated Platoon Manuev-ers: A Case Study." In O. Maler, ed., Hybrid and Real-Time Systems (HART '91), pp. 154-170, Springer, 1997.
7. J. Frankel et al. "Robust Platoon Maneuvers for AVHS," California PATH report, UCB, 1995. Preprint.
8. R. L. Giossman et al. editors. Hybrid Systems, vol. 736 of Lecture Notes in Computer Science. Springer, New York, 1993.
9. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic, Boston 1993.
10. J.H. Hubbard and B.H. West. Differential Equations: A Dynamical Systems Approach. Springer, New York, 1990
11. M. Joseph, editor. Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 331 of Lecture Notes in Computer Science. Springer, New York, 1988.
12. N. Lynch. Distributed Algorithms. Morgan Kaufmann, San Francisco, 1996.
13. N. Lynch et al. Hybrid I/O Automata. In R, Alur, T. Henzinger, and E. Sontag, editors, Hybrid Systems III, pp. 496-510, Lecture Notes in Computer Science, vol. 1066, Springer, 1996.
14. O. Maler, Z. Manna, and A. Pnueli. From timed to hybrid systems. In de Bakker et al. [5], pp. 447-484.
15. Z. Manna and A. Pnueli. Verifying hybrid systems. In Grossman et al. [8], pp. 4-35.
16. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer, New York, 1991.
17. A. Pnueli and J. Sifakis, guest editors. Theoretical Computer Science, 138(1), 1995. Special Issue on Hybrid Systems.
18. H.L. Smith. Monotone Dynamical Systems: An Introduction to the Theory of Competitive and Cooperative Systems. Mathematical Surveys and Monographs, Vol. 41. American Mathematical Society, Providence, RI, 1995.
19. Y.-J. Wei and P.E. Caines. Hierarchical COCOLOG for finite machines. In G. Cohen and J-P. Quadrat, editors, Proc. 11th INRIA International Conference on the Analysis and Optimization of Systems, vol. 199 of Lecture Notes in Control and Information Sciences, pp. 29-38, New York, 1994. Springer.
20. J. Lygeros, D. Godbole, S. Sastry. A verified hybrid control design for automated vehicles. Preprint.
21. A. Puri and P. Varaiya. Verification of hybrid systems using abstractions. Preprint.