Synthesizing controllers for hybrid systems

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

Volumn 1201, Issue , 1997, Pages 361-375

  Kapur, Deepak ^a   Shyamasundar, R K ^b  

^a STATE UNIVERSITY OF NEW YORK   (United States)

^b TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; CONTROLLERS; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS;

ANALYSIS PROBLEMS; CLOSED-FORM EXPRESSION; CONTROL STRATEGIES; FUNCTION OF TIME; HYBRID AUTOMATONS; LINEAR HYBRID AUTOMATA; OPTIMALITY CRITERIA; STATE VARIABLES;

REAL TIME SYSTEMS;

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

References (13)

1. R. Alur, C. Courcoubetis, T. A. Henzinger and P.-H. Ho, Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, LNCS, 736, Springer-Verlag, 1993, 209-229, enhanced version is in [ACHHH95].
2. R. Alur, C. Courcoubetis, N. Halbwachs, T. A. Henzinger and P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science, 138, 1995, 3-34.
3. R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III: Verification and Control, LNCS, 1066, Springer-Verlag, 1996.
4. P. Antsaklis, W. Kohn, A. Nerode and S. Shastry (Eds.), Hybrid Systems II, LNCS, 999, Springer Verlag, 1995.
5. E. Asarin, O. Maler, and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, Proc. of Hybrid Systems II, LNCS 999, 1995.
6. A. Deshpande, Control of Hybrid Systems. Ph.D. Thesis, University of California at Berkeley, 1994.
7. A. Deshpande and P. Varaiya, Viability in Hybrid Systems, in [AKNS95], 128-147.
8. R. L. Grossman, A. Nerode, A. P Ravn, and H. Rischel (Eds.), Hybrid Systems I, LNCS, 736, Springer-Verlag, 1993.
9. N. Halbwachs, P. Raymond, Y.-E. Proy. Verifying Linear Hybrid Systems by means of Convex Approximations, Proc. SAS 94, LNCS 864, Sept. 1994.
10. T. A. Henzinger, W. Kopke, A. Puri, P. Varaiya, What’s Decidable about Hybrid Automata, Proc. of the 27th Annual ACM Symposium on Theory of Computing STOC 1995.
11. P.-H. Ho, The Algorithmic Analysis of Hybrid Systems. Ph.D Thesis, Cotnell University, 1995.
12. H.B. Sipma and Z. Manna, Specification and Verification of Controlled Systems, Proc. FTRTFT, LNCS, 863, 641-659, Sept. 1994.
13. P.J.G. Ramadge, and W.M. Wonham, The Control of Discrete Event Systems, Proc. IEEE, Vol. 77, No. 1, Jan 1989, 81-98.