Integrating formal verification and simulation of hybrid systems
An increasing number of today's systems can be characterised as cyber-physical, or hybrid systems that combine the concurrent continuous environment and discrete computational logic. In order to develop such systems as safe and reliable one needs to be able to model and verify them from the ear...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Southampton
2016
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.694516 |