Discrete-time control for rectangular hybrid automata

T.A. Henzinger, P. Kopke, Theoretical Computer Science 221 (1999) 369–392.

Download
No fulltext has been uploaded. References only!

Journal Article | Published
Author
Abstract
Rectangular hybrid automata model digital control programs of analog plant environments. We study rectangular hybrid automata where the plant state evolves continuously in real-numbered time, and the controller samples the plant state and changes the control state discretely, only at the integer points in time. We prove that rectangular hybrid automata have finite bisimilarity quotients when all control transitions happen at integer times, even if the constraints on the derivatives of the variables vary between control states. This is in contrast with the conventional model where control transitions may happen at any real time, and already the reachability problem is undecidable. Based on the finite bisimilarity quotients, we give an exponential algorithm for the symbolic sampling-controller synthesis of rectangular automata. We show our algorithm to be optimal by proving the problem to be EXPTIME-hard. We also show that rectangular automata form a maximal class of systems for which the sampling-controller synthesis problem can be solved algorithmically.
Publishing Year
Date Published
1999-01-01
Journal Title
Theoretical Computer Science
Volume
221
Issue
1-2
Page
369 - 392
IST-REx-ID

Cite this

Henzinger TA, Kopke P. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 1999;221(1-2):369-392. doi:10.1016/S0304-3975(99)00038-9
Henzinger, T. A., & Kopke, P. (1999). Discrete-time control for rectangular hybrid automata. Theoretical Computer Science, 221(1–2), 369–392. https://doi.org/10.1016/S0304-3975(99)00038-9
Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science 221, no. 1–2 (1999): 369–92. https://doi.org/10.1016/S0304-3975(99)00038-9.
T. A. Henzinger and P. Kopke, “Discrete-time control for rectangular hybrid automata,” Theoretical Computer Science, vol. 221, no. 1–2, pp. 369–392, 1999.
Henzinger TA, Kopke P. 1999. Discrete-time control for rectangular hybrid automata. Theoretical Computer Science. 221(1–2), 369–392.
Henzinger, Thomas A., and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.” Theoretical Computer Science, vol. 221, no. 1–2, Elsevier, 1999, pp. 369–92, doi:10.1016/S0304-3975(99)00038-9.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar