Computing Abstractions of Nonlinear Systems

DOI10.1109/TAC.2011.2118950zbMath1368.93178arXiv0910.2187MaRDI QIDQ5347889

Gunther Reißig

Publication date: 25 August 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Related Items (18)

Finite abstraction of mixed monotone systems with discrete and continuous inputs ⋮ Finite abstractions with robustness margins for temporal logic-based control synthesis ⋮ Formal controller synthesis from specifications given by discrete-time hybrid automata ⋮ Abstraction-based control synthesis using partial information ⋮ Convexity of the images of small balls through nonconvex multifunctions ⋮ Modelling and supervisory control of hybrid dynamical systems via fuzzy \(l\)-complete approximation approach ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ Towards scalable synthesis of stochastic control systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Construction of discontinuous piecewise quadratic value functions in a target control problem ⋮ Decentralized abstractions for multi-agent systems under coupled constraints ⋮ Asynchronous \(l\)-complete approximations ⋮ On distributed symbolic control of interconnected systems under persistency specifications ⋮ Optimization-based subdivision algorithm for reachable sets ⋮ Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions ⋮ Finite horizon discrete models for multi-agent control systems with coupled dynamics ⋮ Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems

This page was built for publication: Computing Abstractions of Nonlinear Systems