Symbolic Interpretation and Execution of Extended Finite Automata
Paper i proceeding, 2014

We introduce a symbolic interpretation and execution technique for Extended Finite Automata (EFAs) and provide an interpreter that symbolically interprets and executes EFAs w.r.t. their (internal) variables. More specifically, the interpreter iterates over the EFA transitions, and by passing each transition, it symbolically interprets and evaluates the condition on the transition w.r.t. the known values of variables, and leaves other variables intact, and when it terminates, it returns the residual model. It is shown that the behavior of the residual system with respect to the original system is left unchanged. Finally, we demonstrate the effectiveness and necessity of the symbolic interpretation and execution combined with abstractions for the nonblocking supervisory control of two manufacturing systems.

supervisory control theory

symbolic interpretation

Discrete-event systems

Författare

Mohammad Reza Shoaei

Chalmers, Signaler och system, System- och reglerteknik

Bengt Lennartson

Chalmers, Signaler och system, System- och reglerteknik

IFAC Proceedings Volumes (IFAC-PapersOnline)

14746670 (ISSN)

Vol. 12 3 228-234
978-3-902823-61-8 (ISBN)

Styrkeområden

Produktion

Ämneskategorier

Reglerteknik

DOI

10.3182/20140514-3-FR-4046.00129

ISBN

978-3-902823-61-8

Mer information

Skapat

2017-10-07