Summary: Behavioural Approximations for Restricted
Linear Differential Hybrid Automata
Manindra Agrawal1,
, Frank Stephan2,
, P.S. Thiagarajan3
, and Shaofa Yang3
1
Department of Computer Science and Engineering,
Indian Institute of Technology, Kanpur, India
manindra@cse.iitk.ac.in
2
School of Computing and Department of Mathematics,
National University of Singapore (NUS), Singapore
fstephan@comp.nus.edu.sg
3
School of Computing,
National University of Singapore, Singapore
{thiagu, yangsf}@comp.nus.edu.sg
Abstract. We show the regularity of the discrete time behaviour of hy-
brid automata in which the rates of continuous variables are governed by

Source: Agrawal, Manindra - Department of Computer Science and Engineering, Indian Institute of Technology Kanpur

Collections: Computer Technologies and Information Sciences