Results 31 to 40 of about 38,502 (282)
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
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
Re-verification of a Lip Synchronization Protocol using Robust Reachability [PDF]
, 2010 The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards.
Bujorianu, L.M. +4 more
core +5 more sources
Representing Hybrid Automata by Action Language Modulo Theories
, 2017 Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them.
Lee, Joohyung +2 more
core +1 more source
HYPE with stochastic events [PDF]
, 2010 The process algebra HYPE was recently proposed as a fine-grained modelling approach for capturing the behaviour of hybrid systems. In the original proposal, each flow or influence affecting a variable is modelled separately and the overall behaviour of ...
Bortolussi, Luca +2 more
core +4 more sources
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
Cryptographic Algorithm Based on Hybrid One-Dimensional Cellular Automata
Mathematics, 2023 The theory and application of cellular automata (CA) for a stream cipher-based encryption principle are presented in this study. Certain fundamental transformations are developed based on CA theory regarding decentralized computation for modeling ...
George Cosmin Stănică +1 more
doaj +1 more source