Results 271 to 280 of about 2,377,753 (298)
Some of the next articles are maybe not open access.
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
exaly
Green hybrid power system based on triboelectric nanogenerator for wearable/portable electronics
Nano Energy, 2019Qian Zhang, Qijie Liang, Fangfang Gao
exaly