Results 31 to 40 of about 1,755,572 (349)

Inclusion dynamics hybrid automata

Information and Computation, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CASAGRANDE, ALBERTO, PIAZZA, Carla, POLICRITI, Alberto, MISHRA, BUD   +3 more
openaire   +3 more sources

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, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi   +5 more
doaj   +1 more source

Land Use Land Cover map segmentation using Remote Sensing: A Case study of Ajoy river watershed, India

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, Das Rajib, Das Subhasish, Sarkar Anasua   +3 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, Fan Qiang, Lu Jie, Peng Yuhui, Sun Wencheng   +4 more
doaj   +1 more source

Interrupt Timed Automata: verification and expressiveness [PDF]

, 2012
We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.
A Cimatti, A Pnueli, A Silberschatz, AP Sistla, B Bérard, B Bérard, B Bérard, Béatrice Bérard, C Courcoubetis, C Roos, E Asarin, E Asarin, E Fersman, EA Emerson, F Cassez, F Demichelis, G Behrmann, G Lafferriere, G Lafferriere, J McManis, JF Raskin, JP Queille, L Aceto, M Bozga, Mathieu Sassolas, ML Minsky, O Maler, P Bouyer, P Bouyer, P Bouyer, R Alur, R Alur, R Alur, R Alur, R Koymans, Serge Haddad, T Brihaye, T Brihaye, TA Henzinger, TA Henzinger, Y Kesten   +40 more
core   +5 more sources

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, Roberta Di Pace, Francesca Bruno, Chiara Fiori   +3 more
doaj   +1 more source

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, A Ben-Hur, A Ben-Hur, A Ben-Hur, A Kempe, A Rabinovich, A Turing, A Vergis, A. Church, APL Francisco, Asarin, B Trakhtenbrot, BJ Copeland, C Moore, C Moore, C Moore, C Moore, CE Shannon, CS Calude, D Dee, D Deutsch, D Graça, D Woods, DS Graça, DS Graça, E Asarin, E Asarin, E Asarin, E Post, EB Davies, G Etesi, G Lafferriere, G P ăun, H Abdi, HM Stoll, HT Siegelmann, HT Siegelmann, HT Siegelmann, I Artobolevskii, I Németi, J Earman, J Foy, J Mycka, J Mycka, J Mycka, J Mycka, J Šíma, J Šíma, JF Costa, JJ Hopfield, JJ Hopfield, JV Tucker, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Ruohonen, K Weihrauch, K-I Ko, K-I Ko, L Blum, L Faybusovich, L Faybusovich, L Lipshitz, LA Rubel, LA Rubel, LM Adleman, M Campagnolo, M Campagnolo, M Casey, M Casey, M Davis, M Gori, M Hogarth, M Hogarth, M Hoyrup, M Pour-El, MB Pour-El, MB Pour-El, MB Pour-El, MD Bowles, ML Campagnolo, ML Campagnolo, ML Hogarth, MO Rabin, MS Branicky, MS Branicky, N Müller, O Bournez, O Bournez, O Bournez, O Bournez, O Bournez, O. Finkel, P Bouyer, P Clote, P Collins, P Koiran, P Koiran, P Koiran, P Orponen, P Orponen, PW Shor, R Alur, R Alur, R Legenstein, RJ Lipton, RW Brockett, RW Brockett, S Aaronson, S Grigorieff, S Omohundro, S. C. Kleene, T Brihaye, T Brihaye, T Head, T Natschläger, TA Henzinger, TD Kieu, U Helmke, V Bush, VD Blondel, VD Blondel, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, W Maass, WD Smith, Šíma   +138 more
core   +5 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

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