The Discrete Time Behaviour of Restricted Linear Hybrid Automata

DOI10.1142/9789814271059_0014zbMath1256.68094OpenAlexW2404288050MaRDI QIDQ4907866

P. S. Thiagarajan, Shaofa Yang, Frank Stephan, Manindra Agrawal

Publication date: 26 February 2013

Published in: Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814271059_0014

zbMATH Keywords

linear hybrid automatacontrol state reachability problemdiscrete time behaviour

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: The Discrete Time Behaviour of Restricted Linear Hybrid Automata