Results 291 to 300 of about 796,005 (319)
Some of the next articles are maybe not open access.
1996
Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point.
Mikhail Kourjanski, Pravin Varaiya
openaire +1 more source
Hybrid systems combine discrete and continuous behavior. We study properties of trajectories of a rectangular hybrid system in which the discrete state goes through a loop. This system is viable if there exists an infinite trajectory starting from some state. We show that the system is viable if and only if it has a limit cycle or fixed point.
Mikhail Kourjanski, Pravin Varaiya
openaire +1 more source
2016
We define the field of hybrid systems neuroscience as the reformulation of hybrid system models, analysis tools and control schemes for neuronal systems. The field of hybrid systems has been built upon the theories of control and computer science. It has inherited control paradigms – including switching control systems and variable structure systems ...
Navarro Lopez, Eva; id_orcid 0000-0001-8762-6943 +2 more
openaire +2 more sources
We define the field of hybrid systems neuroscience as the reformulation of hybrid system models, analysis tools and control schemes for neuronal systems. The field of hybrid systems has been built upon the theories of control and computer science. It has inherited control paradigms – including switching control systems and variable structure systems ...
Navarro Lopez, Eva; id_orcid 0000-0001-8762-6943 +2 more
openaire +2 more sources
2008
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
We introduce STORMED hybrid systems, a decidable class of hybrid systems which is similar to o-minimal hybrid automata in that the continuous dynamics and constraints are described in an o-minimal theory. However, unlike o-minimal hybrid automata, the variables are not initialized in a memoryless fashion at discrete steps.
Vladimeros Vladimerou +3 more
openaire +1 more source
1993
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
TLA+ is a general purpose, formal specification language based on the Temporal Logic of Actions, with no built-in primitives for specifying real-time properties. Here, we use TLA+ to define operators for specifying the temporal behavior of physical components obeying integral equations of evolution.
openaire +1 more source
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2000
Parsons, Simon, Neufeld, Eric
openaire +2 more sources
Parsons, Simon, Neufeld, Eric
openaire +2 more sources
Exhaustive benchmarking of the yeast two-hybrid system
Nature Methods, 2010Yu-Chi Chen, Peter Uetz, Chen Yu-Chi
exaly