Symbolic models for nonlinear control systems affected by disturbances

DOI10.1080/00207179.2012.686672zbMATH Open1253.93009arXiv1201.5614OpenAlexW2019045017MaRDI QIDQ4897709FDOQ4897709

Authors: Alessandro Borri, Maria D. Di Benedetto, Giordano Pola 

Publication date: 27 December 2012

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

Abstract: In the last few years there has been a growing interest in the use of symbolic models for the formal verification and control design of purely continuous or hybrid systems. Symbolic models are abstract descriptions of continuous systems where one symbol corresponds to an "aggregate" of continuous states. In this paper we face the problem of deriving symbolic models for nonlinear control systems affected by disturbances. The main contribution of this paper is in proposing symbolic models that can be effectively constructed and that approximate nonlinear control systems affected by disturbances in the sense of alternating approximate bisimulation.

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

Recommendations

• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Approximately bisimilar symbolic models for nonlinear control systems
• Symbolic abstractions for nonlinear control systems via feedback refinement relation
• Symbolic models for control systems
• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation

zbMATH Keywords

incremental stabilitysymbolic modelsalternating approximate bisimulationnonlinear control systems affected by disturbances

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
• Output regulation problem of a class of pure-feedback nonlinear systems via adaptive neural control
• Effects of controlling parameter on symbolic nonlinear complexity detection
• Symbolic models for control systems
• A modal characterization of alternating approximate bisimilarity
• Abstraction-based control synthesis using partial information
• Symbolic abstractions for nonlinear control systems via feedback refinement relation
• Approximate predictability of pseudo-metric systems
• Probabilistic reachability and control synthesis for stochastic switched systems using the tamed Euler method
• Symbolic models for nonlinear control systems: alternating approximate bisimulations
• Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
• Approximately bisimilar symbolic model for switched systems with unstable subsystems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4897709)