Results 21 to 30 of about 38,502 (282)
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
The Complexity of Enriched Mu-Calculi [PDF]
, 2008 The fully enriched μ-calculus is the extension of the propositional μ-calculus with inverse programs, graded modalities, and nominals. While satisfiability in several expressive fragments of the fully enriched μ-calculus is known to be decidable
Aniello Murano +4 more
core +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
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
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system [PDF]
, 2007 Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System (MDS), developed at the Jet Propulsion Laboratory, takes a goal-based control ...
Braman, Julia M. B. +2 more
core +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
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
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
Statistical Model Checking for Stochastic Hybrid Systems [PDF]
, 2012 This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems,
Alexandre David +43 more
core +5 more sources
A Survey on Continuous Time Computations [PDF]
, 2007 We provide an overview of theories of continuous time computation. These theories allow us to understand both the hardness of questions related to continuous time dynamical systems and the computational power of continuous time analog models.
A Ben-Hur +138 more
core +5 more sources