Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination

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

Volumn 1708, Issue , 1999, Pages 212-232

  Alur, R ^a   Esposito, J ^a   Kim, M ^a   Kumar, V ^a   Lee, I ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DESIGN; DISCRETE TIME CONTROL SYSTEMS; FORMAL METHODS; HYBRID SYSTEMS; MACHINE DESIGN; VERIFICATION;

COMMUNICATION AND CONTROL; DESIGN ALTERNATIVES; DISCRETE-CONTINUOUS SYSTEMS; FORMAL MODELING AND ANALYSIS; HIGH-LEVEL DESIGN; LINEAR HYBRID AUTOMATA; MULTI-ROBOT COORDINATION; SYMBOLIC ANALYSIS;

ROBOTS;

EID: 84958058621     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_14     Document Type: Conference Paper

References (22)

1. [ACH+95] R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3-34, 1995.
2. [AHH96] 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. [AHS96] R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III: Verification and Control. LNCS 1066. Springer-Verlag, 1996.
4. [AKNS95] P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors. Hybrid Systems II. LNCS 999. Springer-Verlag, 1995.
5. [Bra95] M. S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. PhD thesis, Massachusetts Institute of Technology, 1995.
6. [Bro93] R. W. Brockett. Hybrid models for motion control systems. In H. L. Trentelman and J. C. Willems, editors, Essays in Control: Perspectives in the Theory and its Applications, pages 29-53. Birkhäuser, 1993.
7. [CK96] E.M. Clarke and R.P. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61-67, 1996.
8. [DOTY96] C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool kronos. In Hybrid Systems III: Verification and Control, LNCS 1066, pages 208-219. Springer-Verlag, 1996.
9. [GNRR93] R. Grossman, A. Nerode, A. Ravn, and H. Rischel, editors. Hybrid Systems. LNCS 736. Springer-Verlag, 1993.
10. [HHW97] T.A. Henzinger, P. Ho, and H. Wong-Toi. HyTech: a model checker for hybrid systems. Software Tools for Technology Transfer, 1, 1997.
11. [HS98] T. Henzinger and S. Sastry, editors. Hybrid Systems: Computation and Control. LNCS 1386. Springer-Verlag, 1998.
12. [HW95] P.H. Ho and H. Wong-Toi. Automated analysis of an audio control protocol. In Proceedings of the Seventh Conference on Computer-Aided Verification, LNCS 939, pages 381-394. Springer-Verlag, 1995.
13. [HW96] T. Henzinger and H. Wong-Toi. Using HyTech to synthesize control parameters for a steam boiler. In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, LNCS 1165, pages 265-282. Springer-Verlag, 1996.
14. [Lat91] J.-C. Latombe. Robot motion planning. Kluwer Academic Publishers, 1991.
15. [LGS95] J. Lygeros, D. N. Godbole, and S. Sastry. A game-theoretic approach to hybrid system design. In Hybrid Systems III. Verification and Control, pages 1-12. Springer-Verlag, 1995.
16. [LPY97] K. Larsen, P. Pettersson, and W. Yi. Uppaal in a nutshell. Springer International Journal of Software Tools for Technology Transfer, 1, 1997.
17. [Mal97] O. Maler, editor. Hybrid and Real-Time Systems. LNCS 1201. Springer-Verlag, 1997.
18. [NBC95] K. S. Narendra, J. Balakrishnan, and K. Ciliz. Adaptation and learning using multiple models, switching and tuning. IEEE Control Systems Magazine, pages 37-51, 1995.
19. [TPS97] C. Tomlin, G. J. Pappas, and S. Sastry. Conflict resolution for air traffic management: A study in multi-agent hybrid systems. IEEE Transactions on Automatic Control, August 1997. Accepted as a regular paper.
20. [Utk77] V. I. Utkin. Variable structure systems with sliding modes. IEEE Transactions on Automatic Control, Vol. 22(2):212-222, 1977.
21. [ZB98] M. Zefran and J. Burdick. Stabilization of systems with changing dynamics. In Hybrid Systems, 1998.
22. [ZDK96] M. Zefran, J. Desai, and V. Kumar. Continuous motion plans for robotic systems with changing dynamic behavior. In 2nd Int. Workshop on Algorithmic Foundations of Robotics, 1996.