Results 21 to 30 of about 1,755,572 (349)
A Game-Theoretic approach to Fault Diagnosis of Hybrid Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Physical systems can fail. For this reason the problem of identifying and reacting to faults has received a large attention in the control and computer science communities. In this paper we study the fault diagnosis problem for hybrid systems from a game-
Davide Bresolin, Marta Capiluppi
doaj +1 more source
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
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
Denotational Semantics of Hybrid Automata [PDF]
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Edalat, Abbas, Pattinson, Dirk
openaire +2 more sources
Continuity controlled hybrid automata
The Journal of Logic and Algebraic Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bergstra, J.A., Middelburg, C.A.
openaire +6 more sources
A computable and compositional semantics for hybrid automata
International Conference on Hybrid Systems: Computation and Control, 2020 Hybrid Systems are systems having a mixed discrete and continuous behaviour that cannot be characterized faithfully using either only discrete or only continuous models.
D. Bresolin +5 more
semanticscholar +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
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
Information and Computation, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lynch, Nancy +2 more
openaire +2 more sources