Pages that link to "Item:Q4978661"
From MaRDI portal
The following pages link to Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems (Q4978661):
Displayed 10 items.
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Guaranteed control of switched control systems using model order reduction and state-space bisection (Q5240150) (← links)
- Game-based Synthesis of Distributed Controllers for Sampled Switched Systems (Q5240151) (← links)
- On Feedback Stabilization of Linear Switched Systems via Switching Signal Control (Q5346490) (← links)
- Quantitative Model Checking for a Controller Design (Q5883583) (← links)
- Model reduction of switched affine systems (Q5890723) (← links)
- A topological method for finding invariant sets of continuous systems (Q5925511) (← links)
- Incremental stability of stochastic time‐varying impulsive and switching systems (Q6083838) (← links)
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Q6104820) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)