Results 291 to 300 of about 1,755,572 (349)
Investigating sand dunes flora conservation based on remote sensing and predictive modeling in the Mediterranean coastal region, Egypt. [PDF]
Sci RepEl-Khalafy MM +4 more
europepmc +1 more source
A novel hybridization of birds of prey-based optimization with differential evolution mutation and crossover for chaotic dynamics identification. [PDF]
Sci RepEkinci S +4 more
europepmc +1 more source
Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue
, 2016 Houssam Abbas +2 more
openalex +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
International Conference on Quantitative Evaluation of Systems, 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
semanticscholar +1 more source
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
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
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.
Bordihn, Henning +2 more
openaire +1 more source
2009
Hybrid automata is a modeling formalism for hybrid systems that results from an extension of finite-state machines by associating with each discrete state a continuous-state model. Conditions on the continuous evolution of the system invoke discrete state transitions.
Kowalewski, S +7 more
openaire +4 more sources
Hybrid automata is a modeling formalism for hybrid systems that results from an extension of finite-state machines by associating with each discrete state a continuous-state model. Conditions on the continuous evolution of the system invoke discrete state transitions.
Kowalewski, S +7 more
openaire +4 more sources
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, Tian Zhang
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, Tian Zhang
openaire +1 more source