Knut Åkesson

Docent at Electrical Engineering, Reglerteknik, automation och mekatronik, Automation

Knut Åkesson is an Associate Professor in the Automation research group.

Source: chalmers.se

Projects

2016–2019

TESTRON - Model BAsed Testing of Mechatronic Systems

Knut Åkesson Automation
Martin Fabian Automation
VINNOVA

2011–2015

An Internet-based Collaborative Platform for Managing Manufacturing Knowledge (Know4Car)

Knut Åkesson Automation
Petter Falkman Automation
Sathyamyla Kanthabhabhajeya Automation
Amir Hossein Ebrahimi Automation
European Commission (FP7)

There might be more projects where Knut Åkesson participates, but you have to be logged in as a Chalmers employee to see them.

Publications

2017

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Hugo Flordal, Martin Fabian, Robi Malik et al
Paper in proceedings
2017

Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering

Bengt Lennartson, Martin Fabian, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Scientific journal article - non peer reviewed
2016

Automated analysis of interdependencies between product platforms and assembly operations

Amir Hossein Ebrahimi, Pierre Johansson, Thomas Lezama et al
Procedia CIRP - 6th CIRP Conference on Assembly Technologies and Systems, CATS 2016, Gothenburg, Sweden, 16-18 May 2016. Vol. 44, p. 67-72
Paper in proceedings
2016

Automated analysis of interdependencies between product platforms and assembly operations

Pierre Johansson, Amir Hossein Ebrahimi, Knut Åkesson et al
Procedia CIRP - 6th CIRP Conference on Assembly Technologies and Systems, CATS 2016, Gothenburg, Sweden, 16-18 May 2016. Vol. 44, p. 67-72
Paper in proceedings
2016

Formulating constraint satisfaction problems for the inspection of configuration rules

Knut Åkesson, Anna Tidstam, Alexey Voronov et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2015

Formal analysis of product variability and the effects on assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre Johansson et al
20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015, Luxembourg, 8-11 September 2015
Paper in proceedings
2015

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Knut Åkesson, Zhennan Fei, Spyros Reveliotis
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
Journal article
2015

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

S. Reveliotis, Zhennan Fei, Knut Åkesson
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 799-806
Paper in proceedings
2015

Symbolic Supervisory Control of Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Journal article
2014

Managing product and production variety - A language workbench approach

Pierre Johansson, Amir Hossein Ebrahimi, Knut Åkesson et al
Procedia CIRP. VARIETY MANAGEMENT IN MANUFACTURING: PROCEEDINGS OF THE 47TH CIRP CONFERENCE ON MANUFACTURING SYSTEMS. 47th CIRP Conference on Manufacturing Systems. Vol. 17, p. 338-344
Paper in proceedings
2014

Challenges in product family knowledge modeling and analysis-from product design to manufacturing: Extended abstract

Pierre Johansson, Knut Åkesson, Amir Hossein Ebrahimi
6th International Workshop on Feature-Oriented Software Development, FOSD 2014; Vasteras; Sweden; 14 September 2014 through 14 September 2014. Vol. 2014-September (September), p. 45-
Paper in proceedings
2014

Supervisory Control for State-Vector Transition Models—A Unified Approach

Francesco Basile, Martin Fabian, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Journal article
2014

Symbolic Representation and Computation of Timed Discrete-Event Systems

Knut Åkesson, Zhennan Fei, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 6-19
Journal article
2014

An Empirical Study of Control Logic Specifications for Programmable Logic Controllers

Knut Åkesson, Oscar Ljungkrantz, Amir Hossein Ebrahimi et al
Empirical Software Engineering. Vol. 19 (3), p. 655-677
Journal article
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Martin Fabian, Anna Tidstam, Johan Malmqvist et al
Preprint
2014

A symbolic approach for maximally permissive deadlock avoidance in complex resource allocation systems

Spyros Reveliotis, Knut Åkesson, Zhennan Fei
12th IFAC/IEEE Workshop on Discrete Event Systems, WODES 2104, Cachan, France, 14-16 May 2014. Vol. 9 (3), p. 362-369
Paper in proceedings
2014

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei, Knut Åkesson, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Journal article
2013

Multi-View Hand Tracking using Epipolar Geometry-Based Consistent Labeling for an Industrial Application

Irene Yu-Hua Gu, Julien Provost, Knut Åkesson et al
Seventh ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2013), Oc.29-Nov.1, Palm Springs, California, USA, p. 6-
Paper in proceedings
2013

Online support for shop-floor operators using body movements tracking

Knut Åkesson, Julien Provost, Amir Hossein Ebrahimi
12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems. Vol. 12 (1), p. 102-109
Paper in proceedings
2013

Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory

Sajed Miremadi, Bengt Lennartson, Zhennan Fei et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper in proceedings
2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations

Petter Falkman, Bengt Lennartson, Patrik Bergagård et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 308-319
Journal article
2012

State-Vector Transition Model Applied to Supervisory Control

Mona Noori-Hosseini, Martin Fabian, Zhennan Fei et al
Paper in proceedings
2012

Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules

Johan Malmqvist, Anna Tidstam, Knut Åkesson et al
Proceedings of 9th International Symposium on Tools and Methods of Competitive Engineering, 7-11 May, Karlsruhe, Germany., p. 305-318
Paper in proceedings
2012

Symbolic representation and computation of timed discrete event systems

Knut Åkesson, Zhennan Fei, Sajed Miremadi et al
Report
2012

Towards Industrial Formal Specification of Programmable Safety Systems

Chengyin Yuan, Knut Åkesson, Martin Fabian et al
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1567-1574
Journal article
2012

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Knut Åkesson, Bengt Lennartson, Zhennan Fei et al
51st IEEE Conference on Decision and Control, p. 7352-7359
Paper in proceedings
2012

A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata

Bengt Lennartson, Sajed Miremadi, Knut Åkesson
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1421-1435
Journal article
2012

Verification of Item Usage Rules in Product Configuration

Johan Malmqvist, Anna Tidstam, Alexey Voronov et al
Proceedings of 9th International Conference on Product Lifecycle Management, p. 182-191
Paper in proceedings
2012

A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables

Knut Åkesson, Bengt Lennartson, Zhennan Fei et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Paper in proceedings
2011

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata

Ratnesh Kumar, Lucien Ouedraogo, Robi Malik et al
IEEE Transactions on Automation Science and Engineering. Vol. 8 (3), p. 1545-5955
Journal article
2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Knut Åkesson, Zhennan Fei, Bengt Lennartson
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Paper in proceedings
2011

Enumeration of valid partial configurations

Knut Åkesson, Fredrik Ekstedt, Alexey Voronov
Proceedings of Workshop on Configuration, IJCAI 2011. Vol. 755, p. 25-31
Paper in proceedings
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Knut Åkesson, Sajed Miremadi, Zhennan Fei
2011 IEEE Conference on Automation Science and Engineering (CASE), p. 444 - 449
Paper in proceedings
2011

Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory

Knut Åkesson, Zhennan Fei, Bengt Lennartson
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Paper in proceedings
2011

Symbolic Computation of Reduced Guards in Supervisory Control

Knut Åkesson, Bengt Lennartson, Sajed Miremadi
IEEE Transactions on Automation Science and Engineering. Vol. 8 (4), p. 754-765
Journal article
2011

Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata

R. Malik, Knut Åkesson, Martin Fabian
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18 (PART 1), p. 7000-7005
Paper in proceedings
2011

Efficient Symbolic Supervisory Synthesis and Guard Generation: Evaluating partitioning techniques for the state-space exploration

Bengt Lennartson, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Paper in proceedings
2011

BDD-based supervisory control on extended finite automata

Knut Åkesson, Bengt Lennartson, Sajed Miremadi
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; 24 August 2011 through 27 August 2011, p. 25-31
Paper in proceedings
2010

A formal specification language for PLC-based control logic

Knut Åkesson, Oscar Ljungkrantz, Chengyin Yuan et al
Proceedings of the 8th IEEE International Conference on Industrial Informatics, INDIN 2010; Osaka; 13 July 2010 through 16 July 2010, p. 1067-1072
Paper in proceedings
2010

On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics

Goran Cengic, Knut Åkesson
IEEE Transactions on Industrial Informatics. Vol. 6 (2), p. 145-154
Journal article
2010

Formal Specification and Verification of Industrial Control Logic Components

Martin Fabian, Knut Åkesson, Oscar Ljungkrantz et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (3), p. 538-548
Journal article
2010

Supervisor Computation and Representation: A Case Study

Bengt Lennartson, Knut Åkesson, Sajed Miremadi et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Paper in proceedings
2010

Practice of Industrial Control Logic Programming using Library Components

Knut Åkesson, Oscar Ljungkrantz, Martin Fabian
Programmable Logic Controller, p. 17-32
Chapter in monograph, book
2010

Symbolic approach to nonblocking and safe control of extended Finite Automata

R. Kumar, Knut Åkesson, L. Ouedraogo et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 471-476
Paper in proceedings
2010

Relations Identification and Visualization for Sequence Planning and Automation Design

Carl Thorstensson, Kristofer Bengtsson, Petter Falkman et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Paper in proceedings
2010

Sequence Planning for Integrated Product, Process and Automation Design

Martin Fabian, Kristin Andersson, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Journal article
2010

Modular specification of forbidden states for supervisory control

Knut Åkesson, Patrik Bergagård, Martin Fabian
IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. Vol. 10, p. 412-417
Paper in proceedings
2010

On Formal Analysis of IEC 61499 Applications, Part A: Modeling

Goran Cengic, Knut Åkesson
IEEE Transactions on Industrial Informatics. Vol. 6 (2), p. 136-144
Journal article
2009

Verification of Process Operations Using Model Checking

Alexey Voronov, Knut Åkesson
Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on, p. 415-420
Paper in proceedings
2009

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Lindström Claessen, Mary Sheeran, Knut Åkesson et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 19 (4), p. 495-524
Journal article
2008

Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment

Goran Cengic, Knut Åkesson
Proceedings of the 6th IEEE International Conference on Industrial Informatics, p. 301-306
Journal article
2008

A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification

Goran Cengic, Knut Åkesson
Proceedings of the 17th IFAC World Congress, p. 22-27
Journal article
2008

Supervisory Control using Satisfiability Solvers

Alexey Voronov, Knut Åkesson
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, p. 81-86
Paper in proceedings
2008

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Report
2008

Supervisory Control Applied to Automata Extended with Variables - Revised

Markus Sköldstam, Martin Fabian, Knut Åkesson
Report
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Martin Fabian, Knut Åkesson, Sajed Miremadi et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Paper in proceedings
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Martin Fabian, Knut Åkesson
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Paper in proceedings
2008

Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata

Sajed Miremadi, Bengt Lennartson, Knut Åkesson
9th International Workshop on Discrete Event Systems, 2008, p. 193-199
Paper in proceedings
2007

Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers

Johan Richardsson, Oscar Ljungkrantz, Knut Åkesson et al
2007 IEEE International Conference on Robotics and Automation, ICRA'07; Rome; Italy; 10 April 2007 through 14 April 2007, p. 674-679
Paper in proceedings
2007

Supervisory control applied to automata extended with variables

Martin Fabian, Knut Åkesson, Markus Sköldstam
Report
2007

Modeling of Discrete Event Systems using Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Proceedings of the 46th IEEE Conference on Decision and Control, p. 3387-3392
Paper in proceedings
2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Johan Richardsson, Avenir Kobetski, Martin Fabian et al
Paper in proceedings
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Robi Malik, Hugo Flordal, Knut Åkesson et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 17 (4), p. 475-504
Journal article
2007

Automatic model generation and PLC-code implementation for interlocking policies in industrial robot cells

Hugo Flordal, D. Spensieri, Knut Åkesson et al
Control Engineering Practice. Vol. 15 (11), p. 1416-1426
Journal article
2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems

Tord Alenljung, Markus Sköldstam, Knut Åkesson et al
IEEE International Conference on Automation Science and Engineering, p. 207-212
Paper in proceedings
2007

A Study of Industrial Logic Control Programming Using Library Components

Oscar Ljungkrantz, Knut Åkesson
Paper in proceedings
2007

A framework for integrated supervisory and logic control framework

Knut Åkesson, Markus Sköldstam
Report
2007

Towards a Framework for Integrated Supervisory and Logic Control

Knut Åkesson, Markus Sköldstam
1St IFAC Workshop on Dependable Control of Discrete Systems, p. 83-88
Paper in proceedings
2007

Modeling of Discrete Event Systems using Finite Automata With Variables

Martin Fabian, Knut Åkesson, Markus Sköldstam
Journal article
2007

PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems

Bengt Lennartson, Knut Åkesson, Markus Sköldstam et al
IEEE International Conference on Automation Science and Engineering, p. 207-212
Paper in proceedings
2006

Supremica - An Integrated Environment for Verification, Synthesis and Simulation of Discrete Event Systems

Robi Malik, Martin Fabian, Hugo Flordal et al
Proceeding os the 8th Workshop on Discrete Event Systems (WODES'06), Ann Arbor, MI, USA, p. 384-385
Conference contribution
2006

A Framework for Component Based Distributed Control Software Development Using IEC 61499

Goran Cengic, Knut Åkesson, Oscar Ljungkrantz
Journal article
2006

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

Knut Åkesson, Oscar Ljungkrantz, Goran Cengic
2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006, p. 1269-1276
Paper in proceedings
2006

Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams

Martin Byröd, Bengt Lennartson, Arash Vahidi Mazinani et al
8th International Workshop on Discrete Event Systems, WODES 2006; Ann Arbor, MI; United States; 10 July 2006 through 12 July 2006, p. 288-293
Paper in proceedings
2005

Implementation of full synchronous composition using IEC 61499 function blocks

Goran Cengic, Knut Åkesson, Yuan Chengyin et al
2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181), p. 267-72
Paper in proceedings
2004

Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles

Martin Fabian, Knut Åkesson, Hugo Flordal et al
Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, 2-4 Sept. 2004. Vol. 2, p. 1404 - 1409
Paper in proceedings
2004

Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells

Knut Åkesson, Martin Fabian, Hugo Flordal
Paper in proceedings
2004

Controllability Revisited: A Generalization for the Modular Approach

Knut Åkesson, Hugo Flordal, Anders Hellgren et al
Paper in proceedings
2003

Computer-Human Supervision of Flexible Manufacturing Systems

Knut Åkesson
Paper in proceedings
2003

Automatic Multi Robot Coordination

Martin Fabian, Knut Åkesson, Hugo Flordal
Paper in proceedings
2003

Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors

Hugo Flordal, Knut Åkesson, Arash Vahidi Mazinani et al
Paper in proceedings
2002

Hybrid Computer-Human Supervision of Discrete Event Systems

Knut Åkesson, Chengyin Yuan, Sachin Jain et al
proc. of 2002 IEEE International Conference on Robotics and Automation, Washington DC, MAY 11-15,, USA, p. 2321-2326
Paper in proceedings
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Martin Fabian, Knut Åkesson, Hugo Flordal
Paper in proceedings
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi Mazinani
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Paper in proceedings
1999

Petri net models in batch control

Knut Åkesson, Michael Tittus
Mathematical and Computer Modelling of Dynamical Systems. Vol. 5 (2)
Journal article
1999

Implementing supervisory control for chemical batch processes

Martin Fabian, Knut Åkesson
Paper in proceedings
1999

Recipe coordination in chemical batch processes

Knut Åkesson
Licentiate thesis
1999

Deadlock avoidance in batch processes

Michael Tittus, Knut Åkesson
Paper in proceedings
1998

Modular Supervisors for Deadlock Avoidance in Batch Processes

Knut Åkesson, Michael Tittus
Proc Systems, Man and Cybernetics, San Diego, CA, p. 764--769-
Paper in proceedings
1998

Modular Control for Avoiding Deadlock in Batch Processes

Michael Tittus, Knut Åkesson
Paper in proceedings
1997

Discrete Event Models in Batch Control

Michael Tittus, Knut Åkesson
Paper in proceedings