Pages that link to "Item:Q2945582"
From MaRDI portal
The following pages link to Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels (Q2945582):
Displaying 3 items.
- Timed-automata abstraction of switched dynamical systems using control invariants (Q1699229) (← links)
- Zone-based verification of timed automata: extrapolations, simulations and what next? (Q2112098) (← links)
- Adaptive fuzzy funnel control for nonlinear systems with input deadzone and saturation (Q5026768) (← links)
