Search Results - subject:"Timed Automata"

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

Boumaza, Amel; Maamri, Ramdane - In: Journal of Information Technology Research (JITR) 11 (2018) 1, pp. 29-48

-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic … automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a …

Persistent link: https://www.econbiz.de/10012049148

A timed semantics for web services composition

Chama, Imed Eddine; Belala, Nabil; Saϊdouni, Djamel Eddine - In: International journal of business process integration … 8 (2017) 1, pp. 64-79

Persistent link: https://www.econbiz.de/10011912267

New Approach of Diagnosis by Timed Automata

Azzabi, Olfa; Ben Njima, Chakib; Messaoud, Hassani - In: International Journal of Ambient Computing and … 8 (2017) 3, pp. 76-93

, we are interested in the diagnosis of failures with Timed Automata. The proposed approach is based on the operating time …

Persistent link: https://www.econbiz.de/10012042660

Extended Automata for Temporal Planning of Interacting Agents

Largouët, Christine; Krichen, Omar; Zhao, Yulong - In: International Journal of Monitoring and Surveillance … 5 (2017) 1, pp. 30-48

). PTGA is an extension of Timed Automata that allows the representation of cost on actions and the definition of …

Persistent link: https://www.econbiz.de/10012046688

Towards an Optimal Generation of Zones Graph Relating Timed Bisimulation Relation and Distribution

Riadh, Matmat; Ilham, Kitouni; Eddine, Saidouni Djamel - In: International Journal of Distributed Systems and … 7 (2016) 3, pp. 21-41

The timed automata are extensively used in different fields of formal validation in particular the model checking one …. In this paper the authors are interested by a class of TA called durational actions timed automata (daTA) and the zones …

Persistent link: https://www.econbiz.de/10012044166

Grid automata and supervisory control of dense real-time discrete event systems

Nourelfath, Mustapha; Khoumsi, Ahmed - In: Mathematics and Computers in Simulation (MATCOM) 70 (2006) 5, pp. 408-418

dense real-time systems modeled by Alur and Dill timed automata. The main problem involved is that in general the state …

Persistent link: https://www.econbiz.de/10010748468