Compositionality issues in discrete, continuous, and hybrid systems

International Journal of Robust and Nonlinear Control

Volumn 11, Issue 5, 2001, Pages 417-434

  Van Der Schaft, A J ^a   Schumacher, J M ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b TILBURG UNIVERSITY   (Netherlands)

Author keywords

Jump rules; Modularity; Multitime semantics; Non deterministic systems

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; CONTROL SYSTEM ANALYSIS; CONTROL SYSTEM SYNTHESIS; DIFFERENTIAL EQUATIONS; LARGE SCALE SYSTEMS;

HYBRID CONTROL SYSTEMS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0035971772     PISSN: 10498923     EISSN: None     Source Type: Journal    
DOI: 10.1002/rnc.591     Document Type: Article

References (29)

1. Think globally, act locally: Decentralized supervisory control
2. Supervisory control using failure semantics and partial specifications
3. Paradigms and puzzles in the theory of dynamical systems
4. On interconnections, control, and feedback
5. Introduction to the modelling, control and optimization of discrete event systems
6. Model matching for finite state machines
7. Discrete-event control of nondeterministic systems
8. A theory of communicating sequential processes
9. Hybrid system modeling and autonomous control systems
10. A unified framework for hybrid control
11. The algorithmic analysis of hybrid systems
12. Hybrid I/O automata
13. Verified hybrid controllers for automated vehicles
14. Compositional and uniform modeling of hybrid systems
15. Verification of logic controllers for continuous plants using timed condition/event-system models
16. The complementary-slackness class of hybrid systems
17. Complementarity modeling of hybrid systems
18. System structure and singular control
19. Linear complementarity systems
20. The rational complementarity problem
21. Dynamical analysis of linear passive networks with ideal diodes. Part I: Well-posedness
22. An overview of hybrid simulation phenomena and their support by simulation packages