Results 41 to 50 of about 1,755,572 (349)
A Deployment Framework for Formally Verified Human-Robot Interactions
IEEE Access, 2021 In the future, assistive robots will spread to everyday settings and regularly interact with humans. This paper introduces a deployment approach for assistive robotic applications where human-robot interaction is the main element.
Livia Lestingi +3 more
doaj +1 more source
Model checking embedded system designs [PDF]
, 2002 We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can ...
Brinksma, Ed, Mader, Angelika
core +10 more sources
Membership-Based Synthesis of Linear Hybrid Automata
International Conference on Computer Aided Verification, 2019 We present two algorithmic approaches for synthesizing linear hybrid automata from experimental data. Unlike previous approaches, our algorithms work without a template and generate an automaton with nondeterministic guards and invariants, and with an ...
Miriam García Soto +3 more
semanticscholar +1 more source
Land, 2023 Land use/cover change (LUCC) detection and modeling play an important role in global environmental change research, in particular, policy-making to mitigate climate change, support land spatial planning, and achieve sustainable development.
Yecheng He +16 more
doaj +1 more source
Towards Personalized Prostate Cancer Therapy Using Delta-Reachability Analysis [PDF]
, 2015 Recent clinical studies suggest that the efficacy of hormone therapy for prostate cancer depends on the characteristics of individual patients. In this paper, we develop a computational framework for identifying patient-specific androgen ablation therapy
Biere A. +7 more
core +1 more source
O-Minimal Hybrid Reachability Games [PDF]
, 2010 In this paper, we consider reachability games over general hybrid systems, and distinguish between two possible observation frameworks for those games: either the precise dynamics of the system is seen by the players (this is the perfect observation ...
Bouyer, Patricia +2 more
core +2 more sources
IET Renewable Power Generation, 2019 A layered management and hybrid control strategy based on hybrid automata and random forest for the microgrid is proposed in this study. It is used to realise energy management and multi-modal coordinated switching of microgrid system to ensure high ...
C. Dou +4 more
semanticscholar +1 more source
CaAIS: Cellular Automata-Based Artificial Immune System for Dynamic Environments
Algorithms, 2023 Artificial immune systems (AIS), as nature-inspired algorithms, have been developed to solve various types of problems, ranging from machine learning to optimization. This paper proposes a novel hybrid model of AIS that incorporates cellular automata (CA)
Alireza Rezvanian +2 more
doaj +1 more source
Advanced Engineering Materials, EarlyView.A two‐step approach combining laser powder bed fusion of FeSi electrical steel with Bakelite infiltration enables the fabrication of multifunctional gyroid lattice composites. The resulting structures exhibit high strength, magnetic anisotropy, and complete polymer infiltration, demonstrating a simple and scalable route toward lightweight, mechanically
Angelo F. Andreoli +9 more
wiley +1 more source
Approximate Equivalence of the Hybrid Automata with Taylor Theory
Journal of Applied Mathematics, 2014 Hybrid automaton is a formal model for precisely describing a hybrid system in which the computational processes interact with the physical ones.
Anping He +3 more
doaj +1 more source