Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras

F. Ait Oumeziane, R. Kara and S. Amari

International Journal of Systems Science, 2020, vol. 51, issue 11, 2041-2056

Abstract: This paper has introduced new formal approaches to model behaviours and control of a class of uncertain timed discrete event systems represented by Timed Automata with Guards (TAGs). We propose alternative representations for Timed Automata with Guards which approximate their dynamics, since only extremal behaviours are considered. More precisely, recursive equations are proposed in $(\max ,+) $(max,+) and $(\min , +) $(min,+) algebras to describe the worst and the optimistic behaviours. Thereafter, these developed linear models are used to treat a control problem of TAGs. Finally, the proposed methodologies are illustrated by a realistic study case that corresponds to a job-shop system.

Date: 2020
References: Add references at CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/00207721.2020.1783590 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tsysxx:v:51:y:2020:i:11:p:2041-2056

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/TSYS20

DOI: 10.1080/00207721.2020.1783590

Access Statistics for this article

International Journal of Systems Science is currently edited by Visakan Kadirkamanathan

More articles in International Journal of Systems Science from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().