Hierarchical control system design using approximate simulation

DOI10.1016/j.automatica.2008.09.016zbMath1158.93301DBLPjournals/automatica/GirardP09OpenAlexW1973013779WikidataQ57581847 ScholiaQ57581847MaRDI QIDQ1012892

George J. Pappas, Antoine Girard

Publication date: 23 April 2009

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2008.09.016

zbMATH Keywords

abstractionhierarchical controlsimulation functionsapproximate simulation

Mathematics Subject Classification ID

Related Items (27)

Compositional construction of abstractions for infinite networks of discrete-time switched systems ⋮ Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability ⋮ Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology ⋮ Similarity quantification for linear stochastic systems: a coupling compensator approach ⋮ Hierarchical analysis of large-scale control systems via vector simulation function ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ Dynamic hierarchical reactive controller synthesis ⋮ Hierarchical Control of Linear Systems from the Abstraction Feedback Gain ⋮ Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Approximate abstractions of control systems with an application to aggregation ⋮ Asynchronous \(l\)-complete approximations ⋮ Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Constructing simulation relations for IDO systems affine in inputs and disturbances ⋮ Approximate bisimulation: a bridge between computer science and control theory ⋮ Symbolic approximate time-optimal control ⋮ Compositional construction of infinite abstractions for networks of stochastic control systems ⋮ Retrofit control with approximate environment modeling ⋮ Compositional synthesis of finite abstractions for networks of systems: a small-gain approach ⋮ Temporal logic motion planning for dynamic robots ⋮ Hierarchical control system design using approximate simulation ⋮ A new look at distributed optimal output agreement of multi-agent systems ⋮ Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems ⋮ Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface ⋮ Coordination of heterogeneous nonlinear multi-agent systems with prescribed behaviours ⋮ Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations

Uses Software

• MATISSE

Cites Work

• Unnamed Item
• Unnamed Item
• Approximately bisimilar symbolic models for nonlinear control systems
• Hierarchical control system design using approximate simulation
• Geometric state-space theory in linear multivariable control: A status report
• Hierarchical trajectory refinement for a class of nonlinear systems
• Approximate bisimulation relations for constrained linear systems
• An inclusion principle for dynamic systems
• Bisimilar Finite Abstractions of Interconnected Systems
• Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
• Approximate Simulation Relations and Finite Abstractions of Quantized Control Systems
• Asymptotic model matching for nonlinear systems
• Hierarchically consistent control systems
• Lyapunov Characterizations of Input to Output Stability
• Approximation Metrics for Discrete and Continuous Systems

This page was built for publication: Hierarchical control system design using approximate simulation