Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

25

TECS
2008

favoriteEmaildiscussreport

60views more TECS 2008»

Verifying average dwell time of hybrid systems

13 years 10 months ago

Verifying average dwell time of hybrid systems

Download www.ist.caltech.edu

Sayan Mitra, Daniel Liberzon, Nancy A. Lynch

Real-time Traffic

TECS 2008 |

claim paper

Related Content

» On Timed Simulation Relations for Hybrid Systems and Compositionality

» Verifying Properties of Timed Event Driven Process Chains by Transformation to Hybrid Auto...

» Diagnosability Verification for Hybrid Automata

» Logics of Dynamical Systems

» Modeling and Analysis of Probabilistic Timed Systems

» A Formalized Theory for Verifying Stability and Convergence of Automata in PVS

» Hop Reservation Multiple Access HRMA for AdHoc Networks

» A hybrid systems modeling framework for fast and accurate simulation of data communication...

» Verification of Timing Properties in Rapid System Prototyping

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TECS
Authors	Sayan Mitra, Daniel Liberzon, Nancy A. Lynch

Comments (0)