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

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

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

Formulating constraint satisfaction problems for the inspection of configuration rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial intelligence for engineering design, analysis and manufacturing. Vol. 30 (3), p. 313-328
Scientific journal article - peer reviewed
2016

Automated analysis of interdependencies between product platforms and assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre E. C. Johansson 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
Conference paper - peer reviewed
2015

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

Zhennan Fei, Knut Åkesson, S. Reveliotis et al
11th IEEE International Conference on Automation Science and Engineering, CASE 2015, Gothenburg, Sweden, 24-28 August 2015, p. 799-806
Conference paper - peer reviewed
2015

Formal analysis of product variability and the effects on assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, P. E. C. Johansson et al
20th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2015, Luxembourg, 8-11 September 2015
Conference paper - peer reviewed
2015

Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Artificial intelligence for engineering design, analysis and manufacturing. Vol. 30 (3), p. 313-328
Scientific journal article - peer reviewed
2015

Symbolic Supervisory Control of Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Ieee Transactions on Control Systems Technology. Vol. 23 (2), p. 584-597
Scientific journal article - peer reviewed
2015

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

Zhennan Fei, Spyros Reveliotis, Knut Åkesson et al
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
Scientific journal article - peer reviewed
2014

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

Amir Hossein Ebrahimi, P.E.C. Johansson, Knut Åkesson et al
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
Conference paper - peer reviewed
2014

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

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

Efficient Symbolic Supervisor Synthesis for Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Ieee Transactions on Control Systems Technology. Vol. 22 (6), p. 2368-2375
Scientific journal article - peer reviewed
2014

Managing product and production variety - A language workbench approach

Amir Hossein Ebrahimi, Pierre E. C. Johansson, K. Bengtsson 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
Conference paper - peer reviewed
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

Anna Tidstam, Johan Malmqvist, Alexey Voronov et al
Preprint
2014

Symbolic Representation and Computation of Timed Discrete-Event Systems

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

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

Bengt Lennartson, Francesco Basile, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 11 (1), p. 33-47
Scientific journal article - peer reviewed
2014

An Empirical Study of Control Logic Specifications for Programmable Logic Controllers

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Empirical Software Engineering. Vol. 19 (3), p. 655-677
Scientific journal article - peer reviewed
2013

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Agents and Artificial Intelligence (Third International Conference, ICAART 2011, Rome, Italy, January, 28-30, 2011. Revised Selected Papers). Vol. 271, p. 161-175
Conference paper - peer reviewed
2013

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

Yixiao Yun, Irene Y.H. Gu, Julien Provost et al
Seventh ACM/IEEE International Conference on Distributed Smart Cameras (ICDSC 2013), Oc.29-Nov.1, Palm Springs, California, USA, p. 6
Conference paper - peer reviewed
2013

Online support for shop-floor operators using body movements tracking

Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson et al
12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems. Vol. 12 (1), p. 102-109
Conference paper - peer reviewed
2012

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
51st IEEE Conference on Decision and Control, p. 7352-7359
Conference paper - peer reviewed
2012

State-Vector Transition Model Applied to Supervisory Control

Bengt Lennartson, Sajed Miremadi, Zhennan Fei et al
17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA)
Conference paper - peer reviewed
2012

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2012 IEEE Conference on Automation Science and Engineering (CASE), p. 502 - 507
Conference paper - peer reviewed
2012

Sequence Planning Using Multiple and Coordinated Sequences of Operations

Kristofer Bengtsson, Patrik Bergagård, Carl Thorstensson et al
IEEE Transactions on Automation Science and Engineering. Vol. 9 (2), p. 308-319
Scientific journal article - peer reviewed
2012

Symbolic representation and computation of timed discrete event systems

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

Verification of Item Usage Rules in Product Configuration

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
Proceedings of 9th International Conference on Product Lifecycle Management, p. 182-191
Conference paper - peer reviewed
2012

Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules

Anna Tidstam, Lars-Ola Bligård, Fredrik Ekstedt et al
Proceedings of 9th International Symposium on Tools and Methods of Competitive Engineering, 7-11 May, Karlsruhe, Germany., p. 305-318
Conference paper - peer reviewed
2012

Towards Industrial Formal Specification of Programmable Safety Systems

Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan et al
IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY. Vol. 20 (6), p. 1567-1574
Scientific journal article - peer reviewed
2012

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

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
IEEE Transactions on Control Systems Technology. Vol. 20 (6), p. 1421-1435
Scientific journal article - peer reviewed
2011

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

R. Malik, Martin Fabian, Knut Åkesson et al
IFAC Proceedings Volumes. 18th IFAC World Congress, Milano, 28 August - 2 September 2011. Vol. 18, p. 7000-7005
Conference paper - peer reviewed
2011

BDD-based supervisory control on extended finite automata

Sajed Miremadi, Bengt Lennartson, Knut Åkesson et al
2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011; Trieste; 24 August 2011 through 27 August 2011, p. 25-31
Conference paper - peer reviewed
2011

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

Zhennan Fei, Knut Åkesson, Bengt Lennartson et al
2011 IEEE International Conference on Robotics and Automation (ICRA), p. 4364 - 4369
Conference paper - peer reviewed
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
2011 IEEE Conference on Automation Science and Engineering (CASE), p. 444 - 449
Conference paper - peer reviewed
2011

Symbolic Computation of Reduced Guards in Supervisory Control

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
IEEE Transactions on Automation Science and Engineering. Vol. 8 (4), p. 754-765
Scientific journal article - peer reviewed
2011

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

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

Enumeration of valid partial configurations

Alexey Voronov, Knut Åkesson, Fredrik Ekstedt et al
Proceedings of Workshop on Configuration, IJCAI 2011. Vol. 755, p. 25-31
Conference paper - peer reviewed
2011

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence. Vol. 1, p. 106-115
Conference paper - peer reviewed
2010

Symbolic approach to nonblocking and safe control of extended Finite Automata

L. Ouedraogo, R. Kumar, R. Malik et al
2010 IEEE International Conference on Automation Science and Engineering, CASE 2010, p. 471-476
Conference paper - peer reviewed
2010

Modular specification of forbidden states for supervisory control

Patrik Magnusson, Martin Fabian, Knut Åkesson et al
IFAC Proceedings Volumes. 10th International Workshop on Discrete Event Systems (WODES), Berlin, 30 August - 1 September 2010. Vol. 10, p. 412-417
Conference paper - peer reviewed
2010

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, K. Bengtsson, C. Y. Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Scientific journal article - peer reviewed
2010

Practice of Industrial Control Logic Programming using Library Components

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

Relations Identification and Visualization for Sequence Planning and Automation Design

Kristofer Bengtsson, Carl Torstensson, Bengt Lennartson et al
In Proc. IEEE Conference on Automation Science and Engineering, Toronto, p. 841 - 848
Conference paper - peer reviewed
2010

Formal Specification and Verification of Industrial Control Logic Components

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

A formal specification language for PLC-based control logic

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian 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
Conference paper - peer reviewed
2010

Supervisor Computation and Representation: A Case Study

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
10th International Workshop on Discrete Event Systems, Berlin; 30 August 2010 through 1 September 2010. Vol. 10 (1), p. 275-280
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
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
Scientific journal article - peer reviewed
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
Conference paper - peer reviewed
2009

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

Koen Claessen, Niklas Een, Mary Sheeran et al
Discrete Event Dynamic Systems. Vol. 19 (4), p. 495-524
Scientific journal article - peer reviewed
2008

Supervisory Control using Satisfiability Solvers

Alexey Voronov, Knut Åkesson,
Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on, p. 81-86
Conference paper - peer reviewed
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
Scientific journal article - peer reviewed
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
Scientific journal article - peer reviewed
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Conference paper - peer reviewed
2008

Solving Two Supervisory Control Benchmark Problems Using Supremica

Sajed Miremadi, Knut Åkesson, Martin Fabian et al
9th International Workshop on Discrete Event Systems, 2008, p. 131-136
Conference paper - peer reviewed
2008

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

Sajed Miremadi, Knut Åkesson, Bengt Lennartson et al
9th International Workshop on Discrete Event Systems, 2008, p. 193-199
Conference paper - peer reviewed
2008

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian et al
Report
2008

Supervisory Control Applied to Automata Extended with Variables - Revised

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

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

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Control Engineering Practice. Vol. 15 (11), p. 1416-1426
Scientific journal article - peer reviewed
2007

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

Tord Alenljung, Markus Sköldstam, Bengt Lennartson et al
IEEE International Conference on Automation Science and Engineering, p. 207-212
Conference paper - peer reviewed
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems. Vol. 17 (4), p. 475-504
Scientific journal article - peer reviewed
2007

Modeling of Discrete Event Systems using Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Proceedings of the 46th IEEE Conference on Decision and Control, p. 3387-3392
Conference paper - peer reviewed
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
Conference paper - peer reviewed
2007

A framework for integrated supervisory and logic control framework

Knut Åkesson, Markus Sköldstam,
Report
2007

Supervisory control applied to automata extended with variables

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

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian et al
Proceedings of the 46th IEEE Conference on Decision and Control
Scientific journal article - peer reviewed
2007

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

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

A Study of Industrial Logic Control Programming Using Library Components

Oscar Ljungkrantz, Knut Åkesson,
Proceedings of the 3rd Annual IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior

Avenir Kobetski, Johan Richardsson, Knut Åkesson et al
IEEE Conference on Automation Science and Engineering
Conference paper - peer reviewed
2006

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

Knut Åkesson, 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 paper - non peer reviewed
2006

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

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson et al
Proceedings of the 2006 IEEE International Conference on Emerging Technology and Factory Automation, Sep 2006, Prague, Czech Republic
Scientific journal article - peer reviewed
2006

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

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson et al
2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006, p. 1269-1276
Conference paper - peer reviewed
2006

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

Martin Byröd, Bengt Lennartson, Arash Vahidi 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
Conference paper - peer reviewed
2005

Implementation of full synchronous composition using IEC 61499 function blocks

Goran Cengic, Knut Åkesson, Bengt Lennartson et al
2005 IEEE International Conference on Automation Science and Engineering (CASE) (IEEE Cat. No.05EX1181), p. 267-72
Conference paper - peer reviewed
2004

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

Hugo Flordal, Domenico Spensieri, Knut Åkesson et al
Proceedings of the IEEE Conference on Control Applications, Taipei, Taiwan, 2-4 Sept. 2004 . Vol. 2, p. 1404 - 1409
Conference paper - peer reviewed
2004

Controllability Revisited: A Generalization for the Modular Approach

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Conference paper - peer reviewed
2004

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

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Conference paper - peer reviewed
2003

Computer-Human Supervision of Flexible Manufacturing Systems

Knut Åkesson,
Proceedings of the 8th IFAC Symposium on Automated Systems based on Human Skill and Knowledge, Gothenburg
Conference paper - peer reviewed
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson et al
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Conference paper - peer reviewed
2003

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

Knut Åkesson, Martin Fabian, Hugo Flordal et al
Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece
Conference paper - peer reviewed
2002

Hybrid Computer-Human Supervision of Discrete Event Systems

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

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian et al
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Conference paper - peer reviewed
2000

Coordination of batches in flexible production

Knut Åkesson, Martin Fabian, Arash Vahidi et al
Proceedings of the 2000 American Control Conference. Vol. 4, p. 2735 -2739
Conference paper - peer reviewed
1999

Recipe coordination in chemical batch processes

Knut Åkesson,
Licentiate thesis
1999

Petri net models in batch control

Michael Tittus, Knut Åkesson,
Mathematical and Computer Modelling of Dynamical Systems. Vol. 5 (2)
Scientific journal article - peer reviewed
1999

Deadlock avoidance in batch processes

Michael Tittus, Knut Åkesson,
Proc of the IFAC World Congress, Beijing
Conference paper - peer reviewed
1999

Implementing supervisory control for chemical batch processes

Knut Åkesson, Martin Fabian,
Proc of IEEE Conference on Control Applications, Hawaii
Conference paper - peer reviewed
1998

Modular Supervisors for Deadlock Avoidance in Batch Processes

Michael Tittus, Knut Åkesson,
Proc Systems, Man and Cybernetics, San Diego, CA, p. 764--769
Conference paper - peer reviewed
1998

Modular Control for Avoiding Deadlock in Batch Processes

Knut Åkesson, Michael Tittus,
Proc WBF Meeting of the Minds, Baltimore, USA
Conference paper - peer reviewed
1997

Discrete Event Models in Batch Control

Michael Tittus, Knut Åkesson,
Proc of the 2nd MATHMOD, Vienna, Austria
Conference paper - peer reviewed