Results 31 to 40 of about 2,669 (298)
Inclusion dynamics hybrid automata
Information and Computation, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CASAGRANDE, ALBERTO +3 more
openaire +3 more sources
ON THE ISSUE OF THE STABILITY OF HYBRID AUTOMATA BY PART OF THE VARIABLES
Міжнародний науково-технічний журнал "Проблеми керування та інформатики"The problem of the stability of hybrid automata according to certain variables is considered. This problem is relevant and it is increasing rapidly, especially in recent years.
О.С. Бичков +3 more
doaj +1 more source
HyLTL: a temporal logic for model checking hybrid systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The model-checking problem for hybrid systems is a well known challenge in the scientific community. Most of the existing approaches and tools are limited to safety properties only, or operates by transforming the hybrid system to be verified into a ...
Davide Bresolin
doaj +1 more source
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
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
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
Suspension automata: A decidable class of hybrid automata [PDF]
, 1994 A hybrid automaton consists of a discrete state component represented by a finite automaton, coupled with a (vector) continuous state component governed by a differential equation. For hybrid automata it is possible to reduce certain verification problems to those of checking language containment or language emptiness. Here we present a class of hybrid
Jennifer McManis, Pravin Varaiya
openaire +1 more source
IET Cyber-Physical Systems, 2019 The authors present a simulation-based bounded-horizon verification framework for hybrid systems with Lipschitz continuity on the continuous dynamics. In this framework, the bounded initial set is covered by a finite set of representative states, whose ...
Hao Ren, Ratnesh Kumar, Ratnesh Kumar
doaj +1 more source
Verification and control for probabilistic hybrid automata with finite bisimulations
J. Log. Algebraic Methods Program., 2019 A hybrid automaton is a formal model for a system characterised by a combination of discrete and continuous components. Probabilistic hybrid automata generalise hybrid automata with the possibility of representing random behaviour of the discrete ...
Jeremy Sproston
semanticscholar +1 more source
Vietnam Journal of Mechanics, 2011 In this paper, we present a method, which is based on hybrid automata and Real-Time Unified Modeling Language (UML) to analyze and design the control parts of mechatronic systems with input or output events and signals in order to effectively gather ...
Vu Duy Quang, Ngo Van Hien
doaj +1 more source