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
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
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