An introduction to cora 2015, Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015. ,
Designing and verifying distributed cyber-physical systems using multirate pals: An airplane turning control system case study, Science of Computer Programming, vol.103, pp.13-50, 2015. ,
Real-time reachability for verified simplex design, Real-Time Systems Symposium (RTSS), pp.138-148, 2014. ,
Flow*: An analyzer for non-linear hybrid systems, International Conference on Computer Aided Verification, pp.258-263, 2013. ,
Model predictive real-time monitoring of linear systems, Real-Time Systems Symposium (RTSS, pp.297-306, 2017. ,
Reachability analysis via face lifting, Hybrid Systems: Computation and Control (HSCC '98), p.1386, 1998. ,
Z3: An efficient smt solver, International conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008. ,
Static and dynamic analysis of timed distributed traces, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, pp.173-182, 2012. ,
Distributed real-time software for cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012. ,
Spaceex: Scalable verification of hybrid systems, Computer Aided Verification, pp.379-395, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00769608
Efficient computation of reachable sets of linear time-invariant systems with inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00171555
The theory of hybrid automata, IEEE Symposium on Logic in Computer Science (LICS, p.278, 1996. ,
Hytech: A model checker for hybrid systems, Computer aided verification, pp.460-463, 1997. ,
Parametrized verification of distributed cyber-physical systems: An aircraft landing protocol case study, 2012 IEEE/ACM Third International Conference on, pp.161-170, 2012. ,
dreach: ?-reachability analysis for hybrid systems pp, pp.200-205, 2015. ,
A hybrid approach to cyber-physical systems verification, Proceedings of the 49th Annual Design Automation Conference, pp.688-696, 2012. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
Reachability analysis of hybrid systems using support functions, Computer Aided Verification, pp.540-554, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00769527
Starl: Towards a unified framework for programming, simulating and verifying distributed robotic systems, 2015. ,
Provably safe motion of mobile robots in human environments, Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference on, pp.1351-1357, 2017. ,
Adaptive cruise control: Hybrid, distributed, and now formally verified, International Symposium on Formal Methods, pp.42-56, 2011. ,
, Hybrid i/o automata, 1996.
A unified methodology for scheduling in distributed cyber-physical systems, ACM Transactions on Embedded Computing Systems (TECS), vol.11, issue.S2, p.57, 2012. ,
Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events, Distributed Computing Systems, 2008. ICDCS'08. The 28th International Conference on, pp.581-588, 2008. ,