Pages that link to "Item:Q1012892"
From MaRDI portal
The following pages link to Hierarchical control system design using approximate simulation (Q1012892):
Displayed 27 items.
- Finite abstractions for hybrid systems with stable continuous dynamics (Q434462) (← links)
- 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)
- Symbolic approximate time-optimal control (Q533800) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Temporal logic motion planning for dynamic robots (Q1012729) (← links)
- Hierarchical control system design using approximate simulation (Q1012892) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- A new look at distributed optimal output agreement of multi-agent systems (Q2063820) (← links)
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← links)
- Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface (Q2081803) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Similarity quantification for linear stochastic systems: a coupling compensator approach (Q2165973) (← links)
- Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Retrofit control with approximate environment modeling (Q2280866) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Hierarchical analysis of large-scale control systems via vector simulation function (Q2407907) (← links)
- Hierarchical Control of Linear Systems from the Abstraction Feedback Gain (Q2960131) (← links)
- Coordination of heterogeneous nonlinear multi-agent systems with prescribed behaviours (Q3132970) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)