Symbolic control design for monotone systems with directed specifications
From MaRDI portal
Publication:1679067
DOI10.1016/j.automatica.2017.04.060zbMath1373.93119OpenAlexW2616890610MaRDI QIDQ1679067
Sanjit A. Seshia, Eric S. Kim, Arcak, Murat
Publication date: 8 November 2017
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://escholarship.org/uc/item/1974x48z
Design techniques (robust design, computer-aided design, etc.) (93B51) Synthesis problems (93B50) Traffic problems in operations research (90B20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items
Symbolic abstractions for nonlinear control systems via feedback refinement relation, Lazy controller synthesis for monotone transition systems and directed safety specifications, Robust approximate symbolic models for a class of continuous-time uncertain nonlinear systems via a control interface
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Efficient finite abstraction of mixed monotone systems
- Compositional construction of approximate abstractions
- Directed Specifications and Assumption Mining for Monotone Dynamical Systems
- SCOTS
- Verification and Control of Hybrid Systems
- Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere
- Monotone control systems
- Temporal Logic Control of Discrete-Time Piecewise Affine Systems