Results 11 to 20 of about 38,502 (282)
Hybrid Automata Library: A flexible platform for hybrid modeling with real-time visualization. [PDF]
PLoS Computational Biology, 2020 The Hybrid Automata Library (HAL) is a Java Library developed for use in mathematical oncology modeling. It is made of simple, efficient, generic components that can be used to model complex spatial systems.
Rafael R Bravo +9 more
doaj +2 more sources
Modeling and Density Estimation of an Urban Freeway Network Based on Dynamic Graph Hybrid Automata [PDF]
Sensors, 2017 In this paper, in order to describe complex network systems, we firstly propose a general modeling framework by combining a dynamic graph with hybrid automata and thus name it Dynamic Graph Hybrid Automata (DGHA).
Yangzhou Chen, Yuqi Guo, Ying Wang
doaj +2 more sources
Cooperative planning for physically interacting heterogeneous robots [PDF]
Frontiers in Robotics and AIHeterogeneous multi-agent systems can be deployed to complete a variety of tasks, including some that are impossible using a single generic modality.
Michael A. Sebok, Herbert G. Tanner
doaj +2 more sources
Modelling and Analysis of the Lift System as a Hybrid System [PDF]
Acta Electrotechnica et Informatica, 2017 This paper deals with one of the challenges of cyber-physical systems, namely modelling them as hybrid systems. Specifically the paper aims to utilize hybrid systems framework onto the lift system which comes from the real laboratory lift.
Dominik VOŠČEK +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
A Method for Randomly Hiding Secret Encrypted Data in Images using Cellular Automata [PDF]
Al-Rafidain Journal of Computer Sciences and Mathematics, 2019 The present research was aimed to design and implement an algorithm that combines cryptography and steganography to achieve a higher level of security. The algorithm hid encrypted text into color images in a scattered manner based on randomly generated ...
Ansam Abdulmajeed +2 more
doaj +1 more source
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
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
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