Modelling and Verification using Linear Hybrid Automata -- a Case Study

Author: Müller O.   Stauner T.  

Publisher: Taylor & Francis Ltd

ISSN: 1387-3954

Source: Mathematical and Computer Modelling of Dynamical Systems, Vol.6, Iss.1, 2000-03, pp. : 71-89

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract