Finite abstraction of mixed monotone systems with discrete and continuous inputs

DOI10.1016/J.NAHS.2016.04.005MaRDI QIDQ2374568zbMATH OpenOpenAlexFDO

Authors Samuel Coogan, Murat Arcak

Publication date 15 December 2016

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2016.04.005

zbMATH Keywords

monotone systemsfinite state abstractionsmixed monotone systems

Mathematics Subject Classification ID

Population dynamics (general) (92D25) Traffic problems in operations research (90B20) Attainable sets, reachability (93B03) Discrete-time control/observation systems (93C55)

Recommendations

• Efficient finite abstraction of mixed monotone systems
• Abstractions for hybrid systems
• Hybrid Systems: Computation and Control
• Discrete abstraction of multiaffine systems
• Hybrid abstractions of affine systems

Cites work

• scientific article; zbMATH DE number 591302 (Why is no real title available?)
• scientific article; zbMATH DE number 1148208 (Why is no real title available?)
• scientific article; zbMATH DE number 2085344 (Why is no real title available?)
• scientific article; zbMATH DE number 758785 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A global attractivity result for maps with invariant boxes
• Abstraction, discretization, and robustness in temporal logic control of dynamical systems
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems
• Approximation Metrics for Discrete and Continuous Systems
• Computing Abstractions of Nonlinear Systems
• Computing reachable sets for uncertain nonlinear monotone systems
• Efficient finite abstraction of mixed monotone systems
• Feedback Refinement Relations for the Synthesis of Symbolic Controllers
• Finite Abstractions of Max-Plus-Linear Systems
• Global stability for mixed monotone systems
• Linear Time Logic Control of Discrete-Time Linear Systems
• Low-complexity quantized switching controllers using approximate bisimulation
• Monotone control systems
• Monotone maps: a review
• Nonmonotone systems decomposable into monotone systems with negative feedback
• Receding Horizon Temporal Logic Planning
• Symbolic Models for Nonlinear Control Systems Without Stability Assumptions
• Synthesis of Reactive Switching Protocols From Temporal Logic Specifications
• Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere
• Temporal Logic Control of Discrete-Time Piecewise Affine Systems
• The discrete dynamics of monotonically decomposable maps
• Verification and Control of Hybrid Systems
• What's decidable about hybrid automata?

Cited in

(7)

• Discrete abstraction of multiaffine systems
• Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
• Efficient finite abstraction of mixed monotone systems
• Stabilization of stochastic complex networks with delays based on completely aperiodically intermittent control
• Symmetries and periodic orbits in simple hybrid Routhian systems
• Directed specifications and assumption mining for monotone dynamical systems
• Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach

Describes a project that uses

Uses Software

• MPT
• SPIN

This page was built for publication: Finite abstraction of mixed monotone systems with discrete and continuous inputs

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