Results 21 to 30 of about 2,669 (298)
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
CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis [PDF]
International Joint Conference on Artificial Intelligence, 2017 We propose and evaluate a new technique for learning hybrid automata automatically by observing the runtime behavior of a dynamical system. Working from a sequence of continuous state values and predicates about the environment, CHARDA recovers the ...
A. Summerville +2 more
semanticscholar +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
Journal of Intelligent Systems, 2020 Image segmentation in land cover regions which are overlapping in satellite imagery, is one crucial challenge. To detect true belonging of one pixel becomes a challenging problem while classifying mixed pixels in overlapping regions.
Mahata Kalyan +3 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
DETERMINISTIC FINITE AUTOMATA LEARNING USING COUNTEREXAMPLE GUIDED ABSTRACTION REFINEMENT [PDF]
Научно-технический вестник информационных технологий, механики и оптики, 2020 Subject of Research. The paper studies minimum-sized deterministic finite automata inferring problem. A hybrid method is developed and implemented reducing the given problem to Boolean satisfiability (SAT) technique and at the same time applying a ...
Ilya T. Zakirzyanov
doaj +1 more source
A Hybrid Fire Warning Model Based on Cellular Automata [PDF]
E3S Web of Conferences, 2021 The rapid development of cities and the increasing complexity of its internal structure have led to pressing fire security problems, which calls for an effective and accurate comprehensive fire warning model.
Lin Jiayang +4 more
doaj +1 more source
Analysis and comparison of traffic flow models: a new hybrid traffic flow model vs benchmark models
European Transport Research Review, 2021 Background This paper compares a hybrid traffic flow model with benchmark macroscopic and microscopic models. The proposed hybrid traffic flow model may be applied considering a mixed traffic flow and is based on the combination of the macroscopic cell ...
Facundo Storani +3 more
doaj +1 more source
A Formal Model For Real-Time Parallel Computation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 The imposition of real-time constraints on a parallel computing environment– specifically high-performance, cluster-computing systems– introduces a variety of challenges with respect to the formal verification of the system's timing properties.
Peter Hui, Satish Chikkagoudar
doaj +1 more source