Hybrid Automata; Unwinding

We propose a general framework for the analysis of hybrid automata representing biological systems which interacts with an environment. Our framework is based on unwinding conditions and it aims at establishing which external interactions …