59,623 Hits in 2.1 sec

Real-Time Vector Automata [chapter]

Özlem Salehi, Abuzer Yakaryılmaz, A. C. Cem Say
2013 Lecture Notes in Computer Science  
We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected k ×  ...  Only one entry of the vector can be tested for equality to 1 at any time.  ...  Even with vectors of dimension 2, such machines can simulate one-way 2-counter automata, and are therefore Turing equivalent [ISK76] . This is why we focus on real-time vector automata.  ... 
doi:10.1007/978-3-642-40164-0_28 fatcat:va7hmyfzh5az3jo2lqaqygcef4

Quasi-rocking real-time pushdown automata

Changwook Kim
2011 Theoretical Computer Science  
Every PDA can be transformed into an equivalent one that is quasi-rocking and real-time and every finite-turn (one-turn) PDA can be transformed into an equivalent one that is quasi-rocking or real-time  ...  This provides complete grammatical characterizations of quasi-rocking and/or real-time (finite-turn and one-turn) PDAs and, together with known relations and other relations proved in the present paper  ...  (The real-time normal form for finite-turn PDAs was proven in [19] .)  ... 
doi:10.1016/j.tcs.2011.08.029 fatcat:fpkbyk5r5bbfphin6mvgd5jjkm

On real time and linear time cellular automata

W. Bucher, K. Culik II
1984 RAIRO Informatique théorique  
We show that the real time GCA are equivalent to the 2n-time CA automata and therefore also to the linear time CA automata.  ...  An example are the real time cellular automata, where K is required to be of the form A*A 0 .  ... 
doi:10.1051/ita/1984180403071 fatcat:5m3p5oqg6fbrnh2kr2uxft7wtm

Construction of Real-Time Oracle Using Timed Automata [chapter]

Seyed Morteza, Mehdi Borhani
2012 Real-Time Systems, Architecture, Scheduling, and Application  
In the first step, we specify real time software using Timed Automata and then we state it in RTL, real time logic, propositions.  ...  Real-time systems are usually represented by networks (sets) of Timed Automata.  ... 
doi:10.5772/45597 fatcat:q4ev5vvxabag3bnayqlhcsuasi

Real-Time Component Composition Using Hierarchical Timed Automata

Xianli Jin, Huadong Ma, Zonghua Gu
2007 Seventh International Conference on Quality Software (QSIC 2007)  
However, the existing component composition models generally ignore real-time issues. We present a formal integration model based on Hierarchical Timed Automata (HTA) for real-time software system.  ...  This hierarchical and unified framework establishes the foundation for formal analysis of real-time properties of the system.  ...  Alfaro et al [5] developed Interface Automata (IA) for describing dynamic behavior of component interfaces, and Hu [19] extended IA to Real-Time Interface Automata (RTIA) by using Timed Automata.  ... 
doi:10.1109/qsic.2007.4385484 fatcat:edx6a647qfdcfow4rdvf43qja4

On the Linguistic Capacity of Real-Time Counter Automata [article]

William Merrill
2021 arXiv   pre-print
Therefore, we study the abilities of real-time counter machines as formal grammars, focusing on formal properties that are relevant for NLP models.  ...  Definition 3 (Real-time acceptance).  ...  We also proved real-time counter languages are closed under a large number of common set operations, providing tools for future work investigating counter automata.  ... 
arXiv:2004.06866v2 fatcat:dj6luyahcvdy5ga2txeugmoy5q

PLC-automata: a new class of implementable real-time automata

Henning Dierks
2001 Theoretical Computer Science  
We introduce PLC-automata as a new class of automata which are tailored to deal with real-time properties of programmable logic controllers (PLCs).  ...  A semantics in an appropriate real-time temporal logic (duration calculus) is given and an implementation schema that ÿts the semantics is presented in a programming language for PLCs.  ...  properties of real-time systems.  ... 
doi:10.1016/s0304-3975(00)00089-x fatcat:ekhfprqrzrhj3kf6uzrkratyte

A property of real-time trellis automata

Sheng Yu
1986 Discrete Applied Mathematics  
Trellis automata have been studied in [1] [2] [3] [4] . Here, a property of real-time trellis automata is deduced.  ...  This property can be used to prove that certain languages are not accepted by any real-time trellis automata. Two theorems will be established. The second one is a generalization of the first one.  ...  Let L c_ 27* be a real-time trellis language.  ... 
doi:10.1016/0166-218x(86)90025-9 fatcat:tk7nonsij5gb3gl75k4cd4trau

Real-Time Traffic Simulation Using Cellular Automata [article]

Christopher S. Applegate, Stephen D. Laycock, Andy M. Day
2010 Computer Graphics and Visual Computing  
In this paper, we present a method to simulate large-scale traffic networks, at real-time frame-rates.  ...  We test the performance of our model using a 500 x 500m2 area of a real city, and demonstrate that our model can simulate over 600 vehicles at real-time frame-rates (greater than 80 percent network density  ...  Figure 7 shows a screenshot of our real-time simulation.  ... 
doi:10.2312/localchapterevents/tpcg/tpcg10/091-098 dblp:conf/tpcg/ApplegateLD10 fatcat:yov73vxxtfdttmiuieh2htcsee

Timed Automata Model for Component-Based Real-Time Systems

Georgiana Macariu, Vladimir Cretu
2010 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems  
This paper introduces an approach based on timed automata for analysis of such component-based real-time embedded systems.  ...  One of the key challenges in modern real-time embedded systems is safe composition of different software components.  ...  Timed Automata Model for Real-Time Components In the timed automata formalism a component of a realtime application is the network of timed automata obtained through parallel composition of the automaton  ... 
doi:10.1109/ecbs.2010.20 dblp:conf/ecbs/MacariuC10 fatcat:eioxtfflr5edlngvpw4j7ihxvy

Infinite Time Cellular Automata: A Real Computation Model [article]

Fabien Givors
2010 arXiv   pre-print
We then show how to simulate the canonical real computation model, BSS machines, with infinite time cellular automata in exactly \omega steps.  ...  We define a new transfinite time model of computation, infinite time cellular automata.  ...  Infinite time cellular automata Definition 1.1.  ... 
arXiv:1012.1221v1 fatcat:njy5ybvftnai7hdeagkht6jrfy

Stochastic Real-Time Games with Qualitative Timed Automata Objectives [chapter]

Tomáš Brázdil, Jan Krčál, Jan Křetínský, Antonín Kučera, Vojtěch Řehák
2010 Lecture Notes in Computer Science  
We consider two-player stochastic games over real-time probabilistic processes where the winning objective is specified by a timed automaton.  ...  We also give an exponential-time algorithm which computes a winning timed automaton strategy if it exists. ∞ 20 f e (y) dy.  ...  Probabilistic semantics of timed automata was proposed in [4, 6] , and a more general model of stochastic games over timed automata was considered in [9] .  ... 
doi:10.1007/978-3-642-15375-4_15 fatcat:dfqmqa3ouvetrdjjjyd7ce6ffe

SetExp: a method of transformation of timed automata into finite state automata

Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath
2010 Real-time systems  
SetExp: A Method of Transformation of Time Automata into Finite State Automata CIRRELT-2008-05 SetExp: A Method of Transformation of Time Automata into Finite State Automata where c i and c j are two  ...  Note that we have opted to put the proofs of propositions and theorems in the appendix. 2 Timed automata and timed language 2 .1 Timed automata To model a RTDES, we use TA [9, 16] .  ... 
doi:10.1007/s11241-010-9103-8 fatcat:zwj2zoopfrdvlkogvffsw3hphy

A Simulation of Oblivious Multi-Head One-Way Finite Automata by Real-Time Cellular Automata [article]

Alex Borello
2010 arXiv   pre-print
Although not truly a speed-up, the simulation may be interesting and reminds us of the open question about the equivalence of linear and real times on cellular automata.  ...  While the original finite automaton works in linear time, its corresponding cellular automaton performs the same task in real time, that is, exactly the length of the input.  ...  Conclusion We have described a construction that simulates oblivious multi-head one-way finite automata on real-time cellular automata.  ... 
arXiv:1012.1219v1 fatcat:owbf7bwa6fh3re5o2tnupxw5u4

Quantitative analysis of real-time systems using priced timed automata

Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey
2011 Communications of the ACM  
Also, the set of real-time behaviors exhibited by timed automata is not closed under complement, and not all timed automata are determinizable.  ...  circuits. 16 Similarly, numerous real-time communication protocols have been analyzed using timed automata technology, often with inconsistencies being revealed: e.g. using real-time model checking,  ... 
doi:10.1145/1995376.1995396 fatcat:omrd5utiebfczd7h3oy6tu6vxu
« Previous Showing results 1 — 15 out of 59,623 results