Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Dynamic Timed Automata for Reconfigurable System Modeling and Verification

Modern discrete-event systems (DESs) are often characterized by their dynamic structures enabling highly flexible behaviors that can respond in real time to volatile environments. On the other hand, timed automata (TA) are powerful tools used to design various DESs. However, they lack the ability to...

Full description

Bibliographic Details
Main Authors: Samir Tigane, Fayçal Guerrouf, Nadia Hamani, Laid Kahloul, Mohamed Khalgui, Masood Ashraf Ali
Format: Article
Language:English
Published: MDPI AG 2023-02-01
Series:Axioms
Subjects:
dynamic timed automata
formal modeling and verification
graph transformation
reconfigurable systems
timed automata
UPPAAL
Online Access:https://www.mdpi.com/2075-1680/12/3/230

Internet

https://www.mdpi.com/2075-1680/12/3/230

Similar Items