Abstract | ||
---|---|---|
Motivated by designing high-level planners for dynamical systems (such as mobile robots) to achieve complex tasks, we consider the synthesis of switching controllers of nonlinear dynamical systems from metric temporal logic (MTL) specifications. MTL is a popular logic that allows to specify timed properties of real-time reactive systems and hence is appropriate for describing the safe and autonomous operations of robotic systems in an uncertain and possibly adversarial environment. We provide constructive means for computing finite-state abstractions that preserve MTL properties for nonlinear systems, under a weak assumption that these nonlinear systems evolve continuously with respect to their initial conditions. We then provide conditions to ensure that the existence of a discrete strategy (obtained by solving a discrete synthesis problem) guarantees the existence of a switching strategy for controlling the continuous-time dynamical systems to satisfy a given MTL specification. We illustrate the results on a motion planning problem. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ICRA.2014.6907643 | ICRA |
Keywords | Field | DocType |
robot motion planning,finite-state abstractions,finite state machines,metric temporal logic specifications,switching control,time-varying systems,continuous-time dynamical systems,mobile robots,nonlinear dynamical systems,control engineering computing,continuous time systems,path planning,temporal logic,formal specification,mtl specifications | Control theory,Control engineering,Dynamical systems theory,Temporal logic,Mathematics | Conference |
Volume | Issue | ISSN |
2014 | 1 | 1050-4729 |
Citations | PageRank | References |
9 | 0.52 | 29 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jun Liu | 1 | 215 | 20.63 |
Pavithra Prabhakar | 2 | 219 | 25.69 |