Lazy controller synthesis for monotone transition systems and directed safety specifications
type: Item
instance of: scholarly article
title: Lazy controller synthesis for monotone transition systems and directed safety specifications
zbMATH Open document ID: 1480.93130
author: Yanyan Li
published in: Automatica
publication date: 2021-12-14T00:00:00Z
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93C40
zbMATH DE Number: 7444321
zbMATH Keywords: monotone transition systems
zbMATH Keywords: monotone dynamical systems
zbMATH Keywords: directed safety specifications
zbMATH Keywords: lazy controller synthesis
zbMATH Keywords: symbolic control
MaRDI profile type: Publication
full work available at URL: j.automatica.2021.109993
OpenAlex ID: W3084732107
cites work: Monotone control systems
cites work: dtControl
cites work: Formal methods for discrete-time dynamical systems
cites work: Efficient finite abstraction of mixed monotone systems
cites work: Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models
cites work: Traffic Network Control From Temporal Logic Specifications
cites work: Well-structured transition systems everywhere!
cites work: Low-complexity quantized switching controllers using approximate bisimulation
cites work: Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
cites work: Language-Guided Controller Synthesis for Linear Systems
cites work: Ordering by Divisibility in Abstract Algebras
cites work: pFaces
cites work: Symbolic control design for monotone systems with directed specifications
cites work: Q5375276
cites work: Feedback Refinement Relations for the Synthesis of Symbolic Controllers
cites work: SCOTS
cites work: Optimal multirate sampling in symbolic models for incrementally stable switched systems
cites work: Contract-Based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems
cites work: Compositional synthesis of finite abstractions for networks of systems: a small-gain approach
cites work: Verification and Control of Hybrid Systems
cites work: Optimized State Space Grids for Abstractions
cites work: Temporal Logic Control of Discrete-Time Piecewise Affine Systems
DOI: 10.1016/J.AUTOMATICA.2021.109993
description: scientific article; zbMATH DE number 7444321