Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Discrete Time Behavior of Lazy Linear Hybrid Automata
 

Summary: The Discrete Time Behavior of Lazy Linear
Hybrid Automata
Manindra Agrawal and P. S. Thiagarajan
School of Computing,
National University of Singapore
agarwal,thiagu@comp.nus.edu.sg
Abstract. We study the class of lazy linear hybrid automata with finite
precision. The key features of this class are:
The observation of the continuous state and the rate changes asso-
ciated with mode switchings take place with bounded delays.
The values of the continuous variables can be observed with only
finite precision.
The guards controlling the transitions of the automaton are finite
conjunctions of arbitrary linear constraints.
We show that the discrete time dynamics of this class of automata can be
effectively analyzed without requiring resetting of the continuous vari-
ables during mode changes. In fact, our result holds for guard languages
that go well beyond linear constraints.
1 Introduction
We present a class of linear hybrid automata and show that their discrete time

  

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

 

Collections: Computer Technologies and Information Sciences