liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Modelling and Verification of Hybrid Systems: A Case Study
Linköping University, Department of Computer and Information Science, RTSLAB - Real-Time Systems Laboratory. Linköping University, The Institute of Technology.
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1993 (English)Report (Other academic)
Abstract [en]

The problem of correctness and timing of reactions of an agent in interaction with a physical environment is addressed. To this end, a method based on composition of separate models of the software and the environment is used. To use available methods within the field of software verification, discrete representations of the continuous components are described systematically. A nontrivial case study within the domain of road traffic is used to illustrate the derivation of discrete models without losing information relevant to the verification task. The different modeling stages involved are shown first within an untimed formalism, and then in a formalism incorporating quantitative time.

Place, publisher, year, edition, pages
Linköping: Linköping University , 1993. , 7 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1524
Keyword [en]
Hybrid systems, Modelling
Keyword [sv]
Cybernetik Informationsteori
National Category
Control Engineering
URN: urn:nbn:se:liu:diva-55611ISRN: LiTH-ISY-R-1524OAI: diva2:316305
Available from: 2010-04-30 Created: 2010-04-30 Last updated: 2014-10-06Bibliographically approved

Open Access in DiVA

No full text

By organisation
RTSLAB - Real-Time Systems LaboratoryThe Institute of TechnologyAutomatic Control
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 13 hits
ReferencesLink to record
Permanent link

Direct link