Pages that link to "Item:Q3557942"
From MaRDI portal
The following pages link to Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations (Q3557942):
Displayed 28 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Vector space formulation of probabilistic finite state automata (Q439977) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (Q513177) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Deadlock-free output feedback controller design based on approximately abstracted observers (Q1730325) (← links)
- Symbolic models for nonlinear time-delay systems using approximate bisimulations (Q1959416) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Refinements of behavioural abstractions for the supervisory control of hybrid systems (Q2197592) (← links)
- Low-complexity quantized switching controllers using approximate bisimulation (Q2252962) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation (Q3465677) (← links)
- Symbolic models for nonlinear control systems affected by disturbances (Q4897709) (← links)
- Input-Output-to-State Stability of Systems Related through Simulation Relations (Q4965186) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)