Get started
Author

Knut Åkesson

Observed names: K. Akesson, K. Åkesson, Knut Akesson, Knut Åkesson, Åkesson, Knut
ORCID: 0000-0001-6105-2726
Observed ORCID: 0000-0001-6105-2726
OpenAlex ID: A5108805135
Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems
2006 · Knut Akesson, Martin Fabian, et al. · International Workshop on Discrete Event Systems · 224
PDF
Modeling of discrete event systems using finite automata with variables
2007 · Markus Skoldstam, Knut Akesson, et al. · IEEE Conference on Decision and Control (CDC) · 166
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
2007 · Hugo Flordal, Robi Malik, et al. · Discrete Event Dynamic Systems · 88
PDF
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
2011 · L. Ouedraogo, R. Kumar, et al. · IEEE Transactions on Automation Science and Engineering · 87
PDF
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
2017 · Robi Malik, Knut Åkesson, et al. · IFAC-PapersOnLine · 84
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime
2006 · Goran Cengic, Oscar Ljungkrantz, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 82
Exploiting Modularity for Synthesis and Verification of Supervisors
2002 · K. Åkesson, H. Flordal, et al. · IFAC Proceedings Volumes · 82
Sequence Planning for Integrated Product, Process and Automation Design
2010 · Bengt Lennartson, Kristofer Bengtsson, et al. · IEEE Transactions on Automation Science and Engineering · 80
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata
2011 · Sajed Miremadi, Bengt Lennartson, et al. · IEEE Transactions on Control Systems Technology · 62
PDF
Symbolic Computation of Reduced Guards in Supervisory Control
2011 · Sajed Miremadi, Knut Akesson, et al. · IEEE Transactions on Automation Science and Engineering · 53
PDF
On Formal Analysis of IEC 61499 Applications, Part A: Modeling
2010 · Goran Cengic, Knut Akesson · IEEE Transactions on Industrial Informatics · 53
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
2010 · Goran Cengic, Knut Akesson · IEEE Transactions on Industrial Informatics · 50
Extraction and representation of a supervisor using guards in extended finite automata
2008 · S. Miremadi, K. Akesson, et al. · International Workshop on Discrete Event Systems · 43
PDF
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation
2018 · Sabino Francesco Roselli, Kristofer Bengtsson, et al. · IEEE International Conference on Automation Science and Engineering (CASE) · 37
Formal Specification and Verification of Industrial Control Logic Components
2009 · Oscar Ljungkrantz, Knut Akesson, et al. · IEEE Transactions on Automation Science and Engineering · 36
Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells
2007 · H. Flordal, M. Fabian, et al. · Control Engineering Practice · 35
A Framework for Component Based Distributed Control Software Development Using IEC 61499
2006 · Goran Cengic, Oscar Ljungkrantz, et al. · IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) · 32
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
2009 · Koen Claessen, Niklas Een, et al. · Discrete Event Dynamic Systems · 30
Solving two supervisory control benchmark problems using Supremica
2008 · Sajed Miremadi, Knut Akesson, et al. · International Workshop on Discrete Event Systems · 29
PDF
Sequence Planning Using Multiple and Coordinated Sequences of Operations
2012 · Kristofer Bengtsson, Patrik Bergagard, et al. · IEEE Transactions on Automation Science and Engineering · 28
PDF
Modelling Large-Scale Discrete-Event Systems Using Modules, Aliases, and Extended Finite-State Automata
2011 · Robi Malik, Martin Fabian, et al. · IFAC Proceedings Volumes · 25
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems
2014 · Zhennan Fei, Spyros Reveliotis, et al. · IEEE Transactions on Automation Science and Engineering · 21
PDF
A formal specification language for PLC-based control logic
2010 · Oscar Ljungkrantz, Knut Akesson, et al. · IEEE International Conference on Industrial Informatics (INDIN) · 21
Methods and Tools in Supervisory Control Theory: Operator Aspects, Computational Efficiency, and Applications
2002 · Knut Åkesson · Chalmers Publication Library (Chalmers University of Technology) · 20
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
2014 · Zhennan Fei, Sajed Miremadi, et al. · IEEE Transactions on Control Systems Technology · 19
PDF
Works count: 141
Citation count: 2,141
H-index: 21
I10-index: 50
Year
Topic
Type