Pages that link to "Item:Q4393084"
From MaRDI portal
The following pages link to Discrete approximation and supervisory control of continuous systems (Q4393084):
Displaying 16 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- Controller synthesis for safety and reachability via approximate bisimulation (Q445917) (← links)
- Supervisor direct synthesis method for a structured discrete dynamical system (Q612182) (← links)
- Symbolic models for control systems (Q868433) (← links)
- Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach (Q1690519) (← links)
- On controllability of discrete event systems in a behavioral framework (Q1951853) (← links)
- Supervisory control of hybrid systems within a behavioural framework (Q1978485) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Optimal control of discrete-time hybrid automata under safety and liveness constraints (Q2496814) (← links)
- Discussion on: ``A contribution to the validation of grafcet controlled systems'' (Q2512111) (← links)
- Supervisory control of discrete-event systems with output: Application to hybrid systems (Q3543079) (← links)
- Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer (Q3624585) (← links)
- Supervisory target control for hybrid systems (Q4459051) (← links)
- Supervisory acceleration of convergence for homogeneous systems (Q4561200) (← links)
- Control of quantized systems based on discrete event models (Q4810909) (← links)
