See this document in CiteSeerX!

Approaches to Modelling, Analysis, and Control of Hybrid Systems (1999)  (Make Corrections)  
R.K. Boel, B. De Schutter, G. Nijsse, J.M. Schumacher, J.H. van Schuppen



  Home/Search   Context   Related

 
View or download:
dutera.et.tudelft.nl/~des...99_04.ps.gz
dutera.et.tudelft.nl/~bde...99_04.ps.gz
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  dutera.et.tudel...by_topic_hybrid (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Both industry and the academic world are becoming more and more interested in techniques to model, analyse, and control complex systems that contain both analog and logical components. Such systems are called hybrid systems. Examples of hybrid systems are telecommunication networks, exible production systems, parallel processing systems, traffic networks, and so on. In this paper we present an overview of some modelling, analysis, and control methods for hybrid systems, mainly from a systems... (Update)

Active bibliography (related documents):   More   All
0.9:   From Lipschitzian to non-Lipschitzian.. - Camlibel, Cevik.. (2000)   (Correct)
0.8:   Optimal Control of a Class of Linear Hybrid Systems With.. - De Schutter (2000)   (Correct)
0.5:   On The Equivalence Of Classes Of Hybrid Dynamical Models - Heemels, De Schutter.. (2001)   (Correct)

Similar documents based on text:   More   All
1.1:   Model Predictive Control for Max-Plus-Linear Systems - De Schutter, van den Boom (1999)   (Correct)
1.1:   Model Predictive Control for Discrete-Event Systems With .. - De Schutter, van den.. (2001)   (Correct)
1.0:   Model Predictive Control for Railway Networks - De Schutter, Van Den Boom (2001)   (Correct)

BibTeX entry:   (Update)

@misc{ boel-approaches,
  author = "R.K. Boel and B. De Schutter and G. Nijsse and J.M. Schumacher and J.H.
    van Schuppen",
  title = "Approaches to Modelling, Analysis, and Control of Hybrid Systems",
  url = "citeseer.ist.psu.edu/boel99approaches.html" }
Citations (may not include all citations):
4212   Computers and Intractability: A Guide to the Theory of NPCom.. (context) - Garey, Johnson - 1979
666   Theoretical Computer Science (context) - Alur, Dill et al. - 1994
399   The algorithmic analysis of hybrid systems - Alur, Courcoubetis et al. - 1995
368   analysis and applications (context) - Murata, nets - 1989
224   Model checking in dense real time - Alur, Courcoubetis et al. - 1993
96   Using unfoldings to avoid the state explosion problem in the.. (context) - McMillan - 1993
77   Control using logic-based switching - Morse - 1996
72   Discrete Event Systems: Modeling and Performance Analysis (context) - Cassandras - 1993
61   Reachability analysis via face lifting - Dang, Maler - 1998
49   Nonlinear regulation: The piecewise linear approach (context) - Sontag - 1981
38   of Lecture Notes in Computer Science (context) - Alur, Kanna et al. - 1999
33   Interconnected automata and linear systems: A theoretical fr.. - Sontag - 1996
29   Complexity of stability and controllability of elementary hy.. - Blondel, Tsitsiklis - 1999
24   A survey of Petri net methods for controlled discrete event .. (context) - Holloway, Krogh et al. - 1997
21   Multibody Dynamics with Unilateral Contacts (context) - Pfei, Glocker - 1996
20   Supervisory Control of Discrete Event Systems Using Petri Ne.. (context) - Moody, Antslakis - 1998
20   Computing Surveys (context) - Peterson, nets - 1977
19   Remarks on piecewise-linear algebra (context) - Sontag - 1982
16   An interface between continuous and discrete-event controlle.. (context) - Lygeros, Godbole - 1997
15   The extended linear complementarity problem - De Schutter, De Moor - 1995
14   On forbidden state problems for a class of controlled Petri .. (context) - Boel, Ben-Naoum et al. - 1995
14   of Cambridge Tracts in Theoretical Computer Science (context) - Desel, Esparza et al. - 1995
12   Complementarity modeling of hybrid systems - van der Schaft, Schumacher - 1998
12   Hierarchical hybrid control: An IVHS case study (context) - Godbole, Lygeros et al. - 1994
10   Decentralized Estimation and Control for Multisensor Systems (context) - Mutambara - 1998
9   Department of Electrical Engineering and Computer Science (context) - Branicky, Hybrid et al. - 1995
9   Decentralized Control of Complex Systems (context) - Siljak - 1991
8   Verication of polyhedral-invariant hybrid automata using pol.. (context) - Chutinan, Krogh - 1999
8   Special Issue on Hybrid Systems (context) - on, Control et al. - 1998
7   Viewing hybrid systems as products of control systems and au.. (context) - Grossman, Larson - 1992
7   The complementary-slackness class of hybrid systems - van der Schaft, Schumacher - 1996
7   Special Issue on Hybrid Systems (context) - vol, Mar - 1999
6   Hybrid control in air trac management systems (context) - Sastry, Meyer et al. - 1995
5   Optimal control of a class of linear hybrid systems with sat.. - De Schutter - 1999
5   Piecewise Linear Modeling and Analysis (context) - Leenaerts, van Bokhoven - 1998
4   A method to nd all solutions of a system of multivariate pol.. - De Schutter, De Moor - 1996
3   Applications of complementarity systems (context) - Heemels, Schumacher et al. - 1999
3   Veried hybrid controllers for automated vehicles (context) - Lygeros, Godbole et al. - 1998
2   Verication of hybrid systems via mathematical programming (context) - Bemporad, Morari - 1999
2   Linear Algebra and Its Applications (context) - Heemels, Schumacher et al. - 1999
2   Uniqueness of solutions of linear relay systems (context) - Lootsma, van der Schaft et al. - 1999
2   Complete description of dynamics in the linear complementari.. (context) - Heemels, Schumacher et al. - 1997
2   Optimal trac light control for a single intersection (context) - De Schutter, De Moor - 1998
2   The nature of solutions to linear passive complementarity sy.. (context) - aml, Heemels et al. - 1999
1   Proceedings of the Second International Workshop on Hybrid S.. (context) - Vaandrager, van Schuppen et al. - 1999
1   Reachability analysis using polynomial projections (context) - Greenstreet, Mitchell - 1999
1   Hybrid systems with nite bisimulations (context) - Pappas, La et al. - 1999
1   Dissipative systems and complementarity conditions (context) - Heemels, Schumacher et al. - 1998
1   Theory of Hybrid Systems and Discrete Event Sytems (context) - Puri - 1995
1   Proceedings of the First International Workshop on Hybrid Sy.. (context) - Henzinger, Sastry et al. - 1998
1   The extended linear complementarity problem and optimal trac.. (context) - De Schutter - 1999
1   in uencing net and forbidden state control of timed Petri ne.. (context) - Stremersch, Boel et al. - 1998
1   Well-posedness of a class of piecewise linear systems (context) - aml, Schumacher - 1999
1   Synthesis of feedback logic for controlled Petri nets with f.. (context) - Chen - 1994
1   Con ict resolution for air trac management: A case study in .. (context) - Tomlin, Pappas et al. - 1998
1   in Hybrid Systems III: Verication and Control (context) - Lynch, Segala et al. - 1996

Documents on the same site (http://dutera.et.tudelft.nl/~deschutt/pub/pub_by_topic_hybrid.html):   More
The Extended Linear Complementarity Problem and Linear.. - De Schutter (1998)   (Correct)
Optimal Control of a Class of Linear Hybrid Systems With.. - De Schutter (1999)   (Correct)
Optimal Control of a Class of Linear Hybrid Systems With.. - De Schutter (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC