Knut Åkesson

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

Martin Fabian and others (2014) · Industrial information technology series · CRC Press

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal and others (2007) · Discrete Event Dynamic Systems · Springer Science+Business Media

Modeling of discrete event systems using finite automata with variables

Markus Sköldstam and others (2007) · IEEE Conference on Decision and Control (CDC) · Institute of Electrical and Electronics Engineers

EXPLOITING MODULARITY FOR SYNTHESIS AND VERIFICATION OF SUPERVISORS

Knut Åkesson and others (2002) · IFAC Proceedings Volumes · Elsevier BV