Results 11 to 20 of about 1,825 (259)
Towards Cancer Hybrid Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using discrete states like stages and hallmarks has become common in the biology ...
Loes Olde Loohuis +2 more
doaj +1 more source
Applied Sciences, 2023 Cyber–physical systems use digital twins to provide advanced monitoring and control functions, including self-diagnosis. The digital twin is often conceptualized as a 3D model, but mathematical models implemented in numerical simulations are required to ...
Alejandro Velazquez +3 more
doaj +1 more source
Denotational Semantics of Hybrid Automata [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abbas Edalat, Dirk Pattinson
openaire +2 more sources
Approximated Symbolic Computations over Hybrid Automata [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 Hybrid automata are a natural framework for modeling and analyzing systems which exhibit a mixed discrete continuous behaviour. However, the standard operational semantics defined over such models implicitly assume perfect knowledge of the real systems ...
Alberto Casagrande +2 more
doaj +1 more source
Hybrid Automata as Coalgebras [PDF]
, 2016 Able to simultaneously encode discrete transitions and continuous behaviour, hybrid automata are the de facto framework for the formal specification and analysis of hybrid systems. The current paper revisits hybrid automata from a coalgebraic point of view.
Renato Neves, Luís Soares Barbosa
openaire +2 more sources
Improving HyLTL model checking of hybrid systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems.
Davide Bresolin
doaj +1 more source
Optimization Control of Front-End Speed Regulation (FESR) Wind Turbine Based on Improved NSGA-II
IEEE Access, 2019 Aiming at the power optimization control problem of front-end speed regulation (FESR) wind turbine, when the wind speed above rated wind speed, an optimal control strategy of variable pitch and variable torque based on improved NSGA-II algorithm is ...
Li Xiaoqing +4 more
doaj +1 more source
A Case Study on Formal Analysis of an Automated Guided Vehicle System
Journal of Applied Mathematics, 2014 This paper considers a hybrid I/O automata model for an automated guided vehicle (AGV) system. A set of key properties of an AGV system are characterized for the correctness of the system.
Jie Zhang +5 more
doaj +1 more source
Applied Sciences, 2020 In this paper, a hybrid realization model is proposed for the controllers of autonomous underwater vehicles (AUVs). This model is based on the model-based systems engineering (MBSE) methodology, in combination with the model-driven architecture (MDA ...
Ngo Van Hien +3 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