Abstract | ||
---|---|---|
We consider a new way of describing complex control problems for dynamic systems called hybrid programs. Hybrid program is a finite state automaton whose states describe elementary tasks of reachability and safety defined on a transition system ([3, 5]). The proposed approach to complex control problems description could be seen as an alternative to linear temporal logic (see e.g. [1]). We provide an example to illustrate the approach.
|
Year | Venue | Field |
---|---|---|
2018 | HSCC | Transition system,Control theory,Model checking,MATLAB,Computer science,Linear temporal logic,Reachability,Theoretical computer science,Finite-state machine,Dynamical system |
DocType | ISBN | Citations |
Conference | 978-1-4503-5642-8 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Vladimir Sinyakov | 1 | 0 | 1.01 |
Antoine Girard | 2 | 1937 | 117.56 |