Symbolic models for nonlinear control systems affected by disturbances

DOI10.1080/00207179.2012.686672zbMath1253.93009arXiv1201.5614OpenAlexW2019045017MaRDI QIDQ4897709

Alessandro Borri, Maria Domenica Di Benedetto, Giordano Pola

Publication date: 27 December 2012

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1201.5614

zbMATH Keywords

incremental stabilitysymbolic modelsalternating approximate bisimulationnonlinear control systems affected by disturbances

Mathematics Subject Classification ID

Nonlinear systems in control theory (93C10) Perturbations in control/observation systems (93C73) Control/observation systems governed by ordinary differential equations (93C15)

Related Items (7)

Approximately bisimilar symbolic model for switched systems with unstable subsystems ⋮ Symbolic models for time-varying time-delay systems via alternating approximate bisimulation ⋮ Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method ⋮ Approximate predictability of pseudo-metric systems ⋮ Abstraction-based control synthesis using partial information ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Output regulation problem of a class of pure-feedback nonlinear systems via adaptive neural control

Cites Work

• Unnamed Item
• Approximately bisimilar symbolic models for nonlinear control systems
• What's decidable about hybrid automata?
• A discrete-event model of asynchronous quantised systems
• Symbolic models for nonlinear time-delay systems using approximate bisimulations
• O-minimal hybrid systems.
• On the expressiveness and decidability of o-minimal hybrid systems
• Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations
• Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
• Verification and Control of Hybrid Systems
• Hierarchical hybrid control systems: a lattice theoretic formulation
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• On the reachability of quantized control systems
• A Lyapunov approach to incremental stability properties
• Transition-Time Optimization for Switched-Mode Dynamical Systems
• Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
• Controlling a Class of Nonlinear Systems on Rectangles
• Approximation Metrics for Discrete and Continuous Systems
• Integrated Design of Symbolic Controllers for Nonlinear Systems
• A set oriented approach to global optimal control
• Forward completeness, unboundedness observability, and their Lyapunov characterizations
• Discrete supervisory control of hybrid systems based on \(l\)-complete approximations

This page was built for publication: Symbolic models for nonlinear control systems affected by disturbances