Pages that link to "Item:Q1398133"
From MaRDI portal
The following pages link to Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings (Q1398133):
Displaying 9 items.
- Exponential stability and guaranteed cost of switched linear systems with mixed time-varying delays (Q420186) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Hybrid state approach for modelling electrical and mechanical systems (Q814267) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Delay-dependent stability of a type of linear switching systems with discrete and distributed time delays (Q2474853) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- State feedback control of switched linear systems: an LMI approach (Q2496258) (← links)
- Hybrid control of networked embedded systems (Q2512007) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
