Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
 

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