Folgen
Knut Åkesson
Titel
Zitiert von
Zitiert von
Jahr
Supremica-an integrated environment for verification, synthesis and simulation of discrete event systems
K Akesson, M Fabian, H Flordal, R Malik
2006 8th International workshop on discrete event systems, 384-385, 2006
2842006
Modeling of discrete event systems using finite automata with variables
M Skoldstam, K Akesson, M Fabian
2007 46th IEEE Conference on Decision and Control, 3387-3392, 2007
2072007
Exploiting modularity for synthesis and verification of supervisors
K Åkesson, H Flordal, M Fabian
IFAC Proceedings Volumes 35 (1), 175-180, 2002
1152002
Nonblocking and safe control of discrete-event systems modeled as extended finite automata
L Ouedraogo, R Kumar, R Malik, K Akesson
IEEE Transactions on Automation Science and Engineering 8 (3), 560-569, 2011
1092011
Compositional synthesis of maximally permissive supervisors using supervision equivalence
H Flordal, R Malik, M Fabian, K Åkesson
Discrete Event Dynamic Systems 17, 475-504, 2007
1082007
Formal modeling of function block applications running in IEC 61499 execution runtime
G Cengic, O Ljungkrantz, K Akesson
2006 IEEE Conference on Emerging Technologies and Factory Automation, 1269-1276, 2006
1052006
Sequence planning for integrated product, process and automation design
B Lennartson, K Bengtsson, C Yuan, K Andersson, M Fabian, P Falkman, ...
Ieee transactions on automation science and engineering 7 (4), 791-802, 2010
962010
Supremica—a tool for verification and synthesis of discrete event supervisors
K Akesson, M Fabian, H Flordal, A Vahidi
11th Mediterranean Conference on Control and Automation, 2003
912003
Supremica–an efficient tool for large-scale discrete event systems
R Malik, K Åkesson, H Flordal, M Fabian
IFAC-PapersOnLine 50 (1), 5794-5799, 2017
852017
A BDD-based approach for modeling plant and supervisor by extended finite automata
S Miremadi, B Lennartson, K Akesson
IEEE Transactions on Control Systems Technology 20 (6), 1421-1435, 2011
802011
On formal analysis of IEC 61499 applications, Part A: Modeling
G Cengic, K Akesson
IEEE Transactions on Industrial Informatics 6 (2), 136-144, 2010
732010
Symbolic computation of reduced guards in supervisory control
S Miremadi, K Akesson, B Lennartson
IEEE Transactions on Automation Science and Engineering 8 (4), 754-765, 2011
622011
On formal analysis of IEC 61499 applications, part B: Execution semantics
G Cengic, K Akesson
IEEE Transactions on Industrial Informatics 6 (2), 145-154, 2010
612010
Formal specification and verification of industrial control logic components
O Ljungkrantz, K Akesson, M Fabian, C Yuan
IEEE Transactions on Automation Science and Engineering 7 (3), 538-548, 2009
572009
Extraction and representation of a supervisor using guards in extended finite automata
S Miremadi, K Akesson, B Lennartson
2008 9th International Workshop on Discrete Event Systems, 193-199, 2008
492008
Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
H Flordal, M Fabian, K Åkesson, D Spensieri
Control Engineering Practice 15 (11), 1416-1426, 2007
472007
Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications
K Åkesson
Chalmers University of Technology, 2002
46*2002
SMT solvers for job-shop scheduling problems: Models comparison and performance evaluation
SF Roselli, K Bengtsson, K Åkesson
2018 IEEE 14th international conference on automation science and …, 2018
452018
Sequence planning using multiple and coordinated sequences of operations
K Bengtsson, P Bergagard, C Thorstensson, B Lennartson, K Akesson, ...
IEEE Transactions on Automation Science and Engineering 9 (2), 308-319, 2012
452012
SAT-solving in practice, with a tutorial example from supervisory control
K Claessen, N Een, M Sheeran, N Sörensson, A Voronov, K Åkesson
Discrete Event Dynamic Systems 19, 495-524, 2009
432009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20