Results 221 to 230 of about 2,669 (298)
Urban heat island dynamics in Rawalpindi: a 30-year remote sensing analysis and future projections. [PDF]
Sci RepLiyaqat S +5 more
europepmc +1 more source
Energy optimized scheduling in wireless sensor networks (WSNs) using hybrid bio-inspired reinforcement learning approach. [PDF]
Sci RepSarobin MVR +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 2000
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces.
T. Henzinger
openaire +2 more sources
We summarize several recent results about hybrid automata. Our goal is to demonstrate that concepts from the theory of discrete concurrent systems can give insights into partly continuous systems, and that methods for the verification of finite-state systems can be used to analyze certain systems with uncountable state spaces.
T. Henzinger
openaire +2 more sources
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces
ACM Transactions on Cyber-Physical Systems, 2022 Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in verification, fault identification, and anomaly detection.
Xiaodong Yang +2 more
exaly +2 more sources
ACM Transactions on Modeling and Computer Simulation, 2023
Stochastic hybrid automata (SHA) are a powerful tool to evaluate the dependability and safety of critical infrastructures. However, the resolution of nondeterminism, which is present in many purely hybrid models, is often only implicitly considered in ...
Carina da Silva +2 more
exaly +2 more sources
Stochastic hybrid automata (SHA) are a powerful tool to evaluate the dependability and safety of critical infrastructures. However, the resolution of nondeterminism, which is present in many purely hybrid models, is often only implicitly considered in ...
Carina da Silva +2 more
exaly +2 more sources
, 2020
In this work, an energy management strategy is proposed for the control of islanded off-grid energy systems with energy storage based on renewable energy sources. The proposed supervisory control framework is based on a hybrid automata algorithm which is
A. Kafetzis +5 more
semanticscholar +1 more source
In this work, an energy management strategy is proposed for the control of islanded off-grid energy systems with energy storage based on renewable energy sources. The proposed supervisory control framework is based on a hybrid automata algorithm which is
A. Kafetzis +5 more
semanticscholar +1 more source
2006 IEEE Conference on Computer-Aided Control Systems Design, 2006
The determination of the optimal mode sequence for hybrid systems with autonomous transitions is examined. A class of hybrid systems that exhibit a locally Lipschitz mapping between their parameters and their continuous states is introduced. Lipschitzian optimization methods such as bundle methods are explored for the solution of parametric ...
Mehmet Yunt, Paul I. Barton
openaire +1 more source
The determination of the optimal mode sequence for hybrid systems with autonomous transitions is examined. A class of hybrid systems that exhibit a locally Lipschitz mapping between their parameters and their continuous states is introduced. Lipschitzian optimization methods such as bundle methods are explored for the solution of parametric ...
Mehmet Yunt, Paul I. Barton
openaire +1 more source
2012 19th Asia-Pacific Software Engineering Conference, 2012
Cyber-Physical Systems (CPS) are hybrid, component-based and open systems. Hybrid interface automata (HIA), which extend from interface automata, are introduced to model CPS. HIA are not input-enable, that is, only certain inputs can be accepted on a location of HIA. Thus, HIA can specify assumptions about the environment made by a component.
Yan Zhang 0007, Tian Zhang 0001
openaire +1 more source
Cyber-Physical Systems (CPS) are hybrid, component-based and open systems. Hybrid interface automata (HIA), which extend from interface automata, are introduced to model CPS. HIA are not input-enable, that is, only certain inputs can be accepted on a location of HIA. Thus, HIA can specify assumptions about the environment made by a component.
Yan Zhang 0007, Tian Zhang 0001
openaire +1 more source
HYBRID EXTENDED FINITE AUTOMATA
International Journal of Foundations of Computer Science, 2006Extended finite automata are finite state automata equipped with the additional ability to apply an operation on the currently remaining input word, depending on the current state. Hybrid extended finite automata can choose from a finite set of such operations.
Henning Bordihn +2 more
openaire +1 more source