Results 111 to 120 of about 1,755,572 (349)
Stability Analysis and Voltage Control in the Power System Based on the Hybrid Automata Model [PDF]
, 2023 Fariba Forouzesh +2 more
openalex +1 more source
Hybrid automata, reachability, and Systems Biology
Theoretical Computer Science, 2010 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CAMPAGNA, D., PIAZZA, Carla
openaire +1 more source
Artificial Intelligence as the Next Visionary in Liquid Crystal Research
Advanced Functional Materials, EarlyView.The functions of AI in the research laboratory are becoming increasingly sophisticated, allowing the entire process of hypothesis formulation, material design, synthesis, experimental design, and reiterative testing to be automated. In our work, we conceive how the incorporation of AI in the laboratory environment will transform the role and ...
Mert O. Astam +2 more
wiley +1 more source
A Lightweight Cryptographic Framework Based on Hybrid Cellular Automata for IoT Applications
IEEE AccessResource-constrained devices equipped with multiple sensors to exchange data over the network are called the Internet of Things (IoT). The major limitations of IoT devices are limited resources, low computational power, low communication capacity, and ...
Abrar Hasan, M. M. A. Hashem
doaj +1 more source
A Hybrid Automata Approach for Monitoring the Patient in the Loop in Artificial Pancreas Systems. [PDF]
Sensors (Basel), 2021 Beneyto A, Puig V, Bequette BW, Vehi J.
europepmc +1 more source
Dense-choice Counter Machines revisited
, 2009 This paper clarifies the picture about Dense-choice Counter Machines, which have been less studied than (discrete) Counter Machines. We revisit the definition of "Dense Counter Machines" so that it now extends (discrete) Counter Machines, and we provide ...
Bouchy, Florent +2 more
core +2 more sources
Automata: Hybrid Collage Bodies
The Brock Review, 2010 Automata is a series of collages depicting hybrid collage bodies in which anthropomorphic surrogates are simulated through the conflation of unlike parts.
openaire +2 more sources
Advanced Healthcare Materials, EarlyView.We characterized the distribution of cargo proteins associated with extracellular vesicles using various exogenous loading methods. In all cases, single‐particle analysis revealed that the distribution of protein content per EV is heterogeneous, following an exponential decay function.
Karl Normak +6 more
wiley +1 more source
, 2007 Hybrid branching-time logics are introduced as extensions of CTL-like logics with state variables and the downarrow-binder. Following recent work in the linear framework, only logics with a single variable are considered.
Weber, Volker
core +1 more source
Hybrid Automata and Bisimulation [PDF]
, 2010 This paper surveys hybrid automata and bisimulation relations. We formally introduce both notions and briefly present the model checking problem over hybrid automata. We show how, in some cases, bisimulations can be used to quotient infinite state systems to finite ones and, hence, we reduce the model checking over hybrid automata to model checking ...
openaire +2 more sources