
handle: 11368/1897753 , 11390/852535
Independent Dynamics Hybrid Automata (IDA) describe a new class of hybrid automata that extends decidable O-minimal automata by further allowing identity resets. We define the condi- tions under which reachability is decidable over IDA. These conditions involve the satisfiability of first-order formulæ that limit the interval of time we need to consider to study reachability. In order to prove the decidability of reachability we mainly exploit the decidability of the first-order formulæ which define IDA. IDA are useful in the modeling of biological systems where it is possi- ble to have variables which continue their flows independently (e.g., external input reactants). We briefly comment on how to model bacterial chemotaxis using IDA.
Hybrid Automata; Systems biology, Hybrid Automata, Systems biology
Hybrid Automata; Systems biology, Hybrid Automata, Systems biology
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
