Symbolic control design for monotone systems with directed specifications
type: Item
instance of: scholarly article
title: Symbolic control design for monotone systems with directed specifications
zbMATH Open document ID: 1373.93119
author: Eric S. Kim
author: Sanjit A. Seshia
author: Murat Arcak
published in: Automatica
publication date: 2017-11-08T00:00:00Z
full work available at URL: 1974x48z
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B51
Mathematics Subject Classification ID: 90B20
Mathematics Subject Classification ID: 93C30
zbMATH DE Number: 6803914
zbMATH Keywords: directed specifications
zbMATH Keywords: abstraction
zbMATH Keywords: monotone systems
zbMATH Keywords: linear temporal logic
zbMATH Keywords: controller synthesis
describes a project that uses: SCOTS
describes a project that uses: PESSOA
describes a project that uses: CoSyma
MaRDI profile type: Publication
OpenAlex ID: W2616890610
cites work: Q5692280
cites work: Monotone control systems
cites work: Q5322945
cites work: Efficient finite abstraction of mixed monotone systems
cites work: Systems of Differential Equations that are Competitive or Cooperative II: Convergence Almost Everywhere
cites work: Directed Specifications and Assumption Mining for Monotone Dynamical Systems
cites work: Compositional construction of approximate abstractions
cites work: SCOTS
cites work: Verification and Control of Hybrid Systems
cites work: Temporal Logic Control of Discrete-Time Piecewise Affine Systems
DOI: 10.1016/J.AUTOMATICA.2017.04.060
description: scientific article; zbMATH DE number 6803914