Hybrid Automata and\epsilon-Analysis on a Neural Oscillator
… Moreover, the exact computation of the reachable sets of hybrid automata, which represents
… model of the neural oscillator. For these reasons, we study our hybrid automaton exploiting …
… model of the neural oscillator. For these reasons, we study our hybrid automaton exploiting …
Modeling delayed dynamics in biological regulatory networks from time series data
… The merits of other hybrid formalisms in biology have been studied, for instance timed
automata [15], hybrid automata [16], the hybrid model of a neural oscillator [17] and Boolean …
automata [15], hybrid automata [16], the hybrid model of a neural oscillator [17] and Boolean …
Parameter synthesis for polynomial biological models
Parameter determination is an important task in the development of biological models. In
this paper we consider parametric polynomial dynamical systems and address the following …
this paper we consider parametric polynomial dynamical systems and address the following …