A toolbox for proving and maintaining hybrid specifications

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 18-30
https://doi.org/10.1007/bfb0031553

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Safety verification for automated platoon maneuvers: A case study
Published by Springer Nature ,1997
Hybrid I/O automata
Published by Springer Nature ,1996
Preface
Theoretical Computer Science, 1995
Synchronous Programming of Reactive Systems
Published by Springer Nature ,1993
Verifying hybrid systems
Published by Springer Nature ,1993
Prom timed to hybrid systems
Published by Springer Nature ,1992
The synchronous approach to reactive and real-time systems
Proceedings of the IEEE, 1991
Hybrid dynamical systems theory and the Signal language
IEEE Transactions on Automatic Control, 1990