An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications

DOI10.1080/00207179.2012.689862zbMath1253.93027arXiv1203.1740OpenAlexW2084959126MaRDI QIDQ4897712

Hai Lin, Chen, Ben M., Ya-Juan Sun

Publication date: 27 December 2012

Published in: International Journal of Control (Search for Journal in Brave)

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

zbMATH Keywords

hybrid systemslinear temporal logicautomatic synthesismulti-affine functions

Mathematics Subject Classification ID

Multivariable systems, multidimensional control systems (93C35) Realizations from input-output data (93B15) Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• RAMAS

Cites Work

• Temporal logic motion planning for dynamic robots
• A control problem for affine dynamical systems on a full-dimensional polytope.
• Examples of wandering domains in \(p\)-adic polynomial dynamics.
• MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
• Control problems in a temporal logic framework
• A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
• Controlling a Class of Nonlinear Systems on Rectangles
• Linear Time Logic Control of Discrete-Time Linear Systems
• Decidability for a temporal logic used in discrete-event system analysis
• Hybrid Systems: Computation and Control

This page was built for publication: An input–output simulation approach to controlling multi-affine systems for linear temporal logic specifications