Verification of automated vehicle protection systems (extended abstract)
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Strings of Vehicles: Modeling and Safety Conditions
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
Proving Safety Properties of the Steam Boiler Controller
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Information and Computation
A verification framework for hybrid systems
A verification framework for hybrid systems
Modeling and analysis of DNA replication
Automatica (Journal of IFAC)
Hi-index | 0.00 |
DNA replication is one of the most fundamental processes in the life of every cell. In earlier work a model to capture the mechanics of the DNA replication process was developed in the stochastic hybrid systems framework. Monte Carlo simulations of the model allowed us to make novel predictions regarding the mechanisms behind DNA replication based on experimental data for the fission yeast. Here the stochastic hybrid model is adopted to the Hybrid Input/Output Automaton formalism. We then verify that the model captures the mechanisms of DNA replication process by induction proofs. Our results demonstrate that the model is indeed a faithful representation of the physical reality and lend theoretical support for the predictions of the model.