Results 241 to 250 of about 412,677 (269)
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
Hybrid Energy-Harvesting Systems Based on Triboelectric Nanogenerators
Matter, 2021Yaokun Pang +2 more
exaly
Consensus of Hybrid Multi-Agent Systems
IEEE Transactions on Neural Networks and Learning Systems, 2018Yuanshi Zheng, Jingying Ma
exaly