Discrete-time control for rectangular hybrid automata
TA Henzinger, PW Kopke - Theoretical Computer Science, 1999 - Elsevier
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 …
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 …
Discrete-time control for rectangular hybrid automata
TA Henzinger, PW Kopke - International Colloquium on Automata …, 1997 - Springer
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 sharply in …
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 sharply in …
Showing the best results for this search. See all results
