A comparison of control problems for timed and hybrid systems
LNCS
Cassez, Franck
Thomas Henzinger
Raskin, Jean-François
In the literature, we find several formulations of the control
problem for timed and hybrid systems. We argue that formulations where
a controller can cause an action at any point in dense (rational or real)
time are problematic, by presenting an example where the controller
must act faster and faster, yet causes no Zeno effects (say, the control
actions are at times 0, 1/2, 1, 1 1/4, 2, 2 1/8, 3, 3 1/16 ,...). Such a controller is,
of course, not implementable in software. Such controllers are avoided by formulations where the controller can cause actions only at discrete (integer) points in time. While the resulting control problem is well- understood if the time unit, or “sampling rate” of the controller, is fixed a priori, we define a novel, stronger formulation: the discrete-time control problem with unknown sampling rate asks if a sampling controller exists for some sampling rate. We prove that this problem is undecidable even in the special case of timed automata.
Springer
2002
info:eu-repo/semantics/conferenceObject
doc-type:conferenceObject
text
https://research-explorer.app.ist.ac.at/record/4565
Cassez F, Henzinger TA, Raskin J. A comparison of control problems for timed and hybrid systems. In: Vol 2289. Springer; 2002:134-148. doi:<a href="https://doi.org/10.1007/3-540-45873-5_13">10.1007/3-540-45873-5_13</a>
info:eu-repo/semantics/altIdentifier/doi/10.1007/3-540-45873-5_13
info:eu-repo/semantics/closedAccess