Pages that link to "Item:Q702842"
From MaRDI portal
The following pages link to Compositional abstractions of hybrid control systems (Q702842):
Displaying 24 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Understanding deadlock and livelock behaviors in hybrid control systems (Q924105) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Abstractions of Hamiltonian control systems. (Q1421436) (← links)
- Conic abstractions for hybrid systems (Q1683444) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Networks of hybrid open systems (Q2302562) (← links)
- Abstraction and control by interconnection of linear systems: a geometric approach (Q2410471) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)
- Theorem of abstraction for equivalent controllers in hybrid systems (Q2568275) (← links)
- Compositionality issues in discrete, continuous, and hybrid systems (Q2716781) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Declarative Abstractions for Agent Based Hybrid Control Systems (Q2999240) (← links)
- Bisimilar Finite Abstractions of Interconnected Systems (Q3523133) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems (Q4560092) (← links)
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach (Q4630123) (← links)
- (Q4780233) (← links)
- (Q5019670) (← links)
- Hybrid Systems: Computation and Control (Q5703958) (← links)
