Approximate Model Checking of Stochastic Hybrid Systems, European Journal of Control, vol.6, pp.624-641, 2010. ,

Continuous and hybrid petri nets, Systems, and Computers, vol.8, issue.01, pp.159-188, 1998. ,

URL : https://hal.archives-ouvertes.fr/hal-00495611

The benefits of relaxing punctuality, Journal of the ACM, vol.43, issue.1, pp.116-146, 1996. ,

The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008. ,

Piecewise deterministic Markov processes represented by dynamically coloured Petri nets, Stochastics, vol.77, issue.1, pp.1-29, 2005. ,

Assume-guarantee reasoning for hybrid I/Oautomata by over-approximation of continuous interaction, 43rd IEEE Conf. on Decision and Control, pp.479-484, 2004. ,

Flowpipe approximation and clustering in space-time, 16th Int. conf. on Hybrid systems: computation and control, pp.203-212, 2013. ,

Survivability analysis of a sewage treatment facility using hybrid petri nets, Performance Evaluation, vol.97, pp.36-56, 2016. ,

Region-based analysis of hybrid petri nets with a single general one-shot transition, Int. Conf. on Formal Modeling and Analysis of Timed Systems, pp.139-154, 2012. ,

Hybrid petri nets with multiple stochastic transition firings, 8th Int. Conf. on Performance Evaluation Methodologies and Tools, pp.217-224, 2014. ,

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets, IEEE 19th Pacific Rim Int. Symp. on Dependable Computing, pp.152-161, 2013. ,

Reachability of uncertain linear systems using zonotopes, Hybrid Systems: Computation and Control, vol.3414, pp.291-305, 2005. ,

URL : https://hal.archives-ouvertes.fr/hal-00307003

Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra, European Workshop on Performance Engineering, pp.101-116, 2017. ,

Hybrid petri nets with general one-shot transitions, Performance Evaluation, vol.105, pp.22-50, 2016. ,

Fluid stochastic Petri nets: Theory, applications, and solution techniques, Journal of Operational Research, vol.105, issue.1, pp.184-201, 1998. ,

State-space construction of Hybrid Petri nets with multiple stochastic firings, 2018. ,

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro, 11th Int. Conf. on Performance Evaluation Methodologies and Tools, 2017. ,

Does your domestic photovoltaic energy system survive grid outages? Energies, vol.9, p.736, 2016. ,

Approximate Abstraction of Stochastic Hybrid Automata, Int. Conf. on Hybrid Systems: Computation and Control, pp.318-332, 2006. ,

Automatic verification of real-time systems with discrete probability distributions, Theoretical Computer Science, vol.282, issue.1, pp.101-150, 2002. ,

Reachability analysis of linear systems using support functions, Nonlinear Analysis: Hybrid Systems, vol.4, pp.250-262, 2010. ,

URL : https://hal.archives-ouvertes.fr/hal-00765598

Monitoring temporal properties of continuous signals, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp.152-166, 2004. ,

Introduction to interval analysis, 2009. ,

Statistical Model Checking for hybrid Petri nets with multiple general transitions, 47th Int. Conf. on Dependable Systems and Networks, pp.475-486, 2017. ,

Hypro: A c++ library of state set representations for hybrid systems reachability analysis, 9th Int. Symp. NASA Formal Methods, pp.288-294, 2017. ,

Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes, SIAM Journal on Applied Dynamical Systems, vol.12, issue.2, pp.921-956, 2013. ,

FAUST: Formal Abstractions of Uncountable-STate STochastic Processes, Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.272-286, 2015. ,

Decidable model checking of probabilistic hybrid automata, Int. Symp. on Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.31-45, 2000. ,

Constraint-based analysis of probabilistic hybrid systems, IFAC Proceedings Volumes, vol.42, pp.162-167, 2009. ,

, The CGAL Project. CGAL User and Reference Manual. CGAL Editorial Board, 2017.

Safety verification for probabilistic hybrid systems, European Journal of Control, vol.18, issue.6, pp.572-587, 2012. ,

, Lectures on polytopes, vol.152, 2012.