Pages that link to "Item:Q4974259"
From MaRDI portal
The following pages link to An Approximate Simulation Approach to Symbolic Control (Q4974259):
Displayed 20 items.
- Asynchronous \(l\)-complete approximations (Q464604) (← links)
- A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
- Constructing simulation relations for IDO systems affine in inputs and disturbances (Q495693) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Approximately bisimilar symbolic models for nonlinear control systems (Q1004115) (← 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)
- Learning-based symbolic abstractions for nonlinear control systems (Q2097817) (← links)
- Approximately bisimilar symbolic model for switched systems with unstable subsystems (Q2148459) (← links)
- Symbolic control design of nonlinear systems with outputs (Q2280917) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications (Q2664268) (← links)
- Data-driven controller synthesis for abstract systems with regular language specifications (Q2665709) (← links)
- Hierarchical Hybrid Symbolic Robot Motion Planning and Control (Q2789892) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems (Q3624580) (← links)
- Model predictive control of directed‐graph constrained systems (Q5174443) (← links)
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties (Q5861104) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)