Results 21 to 30 of about 1,825 (259)
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
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
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
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
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
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
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
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
Modelling of a virtual power plant using hybrid automata
The Journal of Engineering, 2019 Virtual power plant (VPP) is a hybrid power system with a mesh of distributed resources, local loads and storage with both discrete and continuous variables involved. Control of such system requires advanced control schemes to make distributed assets act
Chaudhry Jibran Javaid +4 more
doaj +1 more source