Knut Åkesson

Professor at Automation

Knut Ã…kesson is a Professor in the Automation at the Department of Electrical Engineering. His main interest is rigorous methods for verification and control with important applications within safety-critical autonomous systems. Other areas of interest are optimization and configuration of products and productions systems with high-variability, as well as applications of computer vision and deep machine learning.

Knut is the lecturer/examiner of the automatic control course for mechanical engineers and the course model-based development of cyber-physical systems. Knut is also the master program director of Systems, control and mechatronics.

Source: chalmers.se
Image of Knut Åkesson

Showing 134 publications

2024

Conflict-free electric vehicle routing problem: an improved compositional algorithm

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
Discrete Event Dynamic Systems: Theory and Applications. Vol. 34 (1), p. 21-51
Journal article
2024

On Input Generators for Cyber-Physical Systems Falsification

Zahra Ramezani, Alexandre Donzé, Martin Fabian et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 43 (4), p. 1274-1287
Journal article
2023

Prescient Collision-Free Navigation of Mobile Robots with Iterative Multimodal Motion Prediction of Dynamic Obstacles

Ze Zhang, Hadi Hajieghrary, Emmanuel Dean et al
IEEE Robotics and Automation Letters. Vol. 8 (9), p. 5488-5495
Journal article
2023

Collision-Free Trajectory Planning of Mobile Robots by Integrating Deep Reinforcement Learning and Model Predictive Control

Ze Zhang, Yao Cai, Kristian Ceder et al
IEEE International Conference on Automation Science and Engineering. Vol. 2023-August
Paper in proceeding
2023

Fault localization for intelligent automation systems

Endre Erös, Kristofer Bengtsson, Knut Åkesson
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2023-September
Paper in proceeding
2023

Structural Coverability for Intelligent Automation Systems

Endre Erös, Kristofer Bengtsson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2023-August
Paper in proceeding
2022

The impact of visualizing operational deviations on overall quality in assembly lines

Ebly Sanchez, Axel Joelsson, Matthias Andersson Baumgartner et al
Procedia CIRP. Vol. 107, p. 46-52
Paper in proceeding
2022

Multi-Requirement Testing Using Focused Falsification

Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson
HSCC 2022 - Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, Part of CPS-IoT Week 2022
Paper in proceeding
2022

Centralized versus Distributed Nonlinear Model Predictive Control for Online Robot Fleet Trajectory Planning

Filip Bertilsson, Martin Gordon, Johan Hansson et al
IEEE International Conference on Automation Science and Engineering. Vol. 2022-August, p. 701-706
Paper in proceeding
2022

A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem

Sabino Francesco Roselli, Per Lage Götvall, Martin Fabian et al
IEEE Transactions on Automation Science and Engineering. Vol. 19 (3), p. 1405-1421
Journal article
2022

Leveraging Conflicting Constraints in Solving Vehicle Routing Problems

Sabino Francesco Roselli, Remco Vader, Martin Fabian et al
IFAC-PapersOnLine. Vol. 55 (28), p. 22-29
Paper in proceeding
2022

Testing Cyber-Physical Systems Using a Line-Search Falsification Method

Zahra Ramezani, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 41 (8), p. 2393-2406
Journal article
2022

Multimodal Motion Prediction Based on Adaptive and Swarm Sampling Loss Functions for Reactive Mobile Robots

Ze Zhang, Emmanuel Dean, Yiannis Karayiannidis et al
IEEE International Conference on Automation Science and Engineering. Vol. 2022-August, p. 1110-1115
Paper in proceeding
2021

Solving the conflict-free electric vehicle routing problem using SMT solvers

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
2021 29th Mediterranean Conference on Control and Automation, MED 2021, p. 542-547
Paper in proceeding
2021

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators

Zahra Ramezani, Alexandre Donzé, Martin Fabian et al
EPiC Series in Computing. Vol. 80, p. 195-202
Paper in proceeding
2021

Modelling and analysis of product platforms and assembly sequences with respect to variability

Amir Hossein Ebrahimi, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2021-August, p. 563-569
Paper in proceeding
2021

On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering

Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi et al
IEEE Transactions on Automation Science and Engineering. Vol. 18 (1), p. 369-381
Journal article
2021

An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2021-August, p. 1364-1369
Paper in proceeding
2021

Motion Prediction Based on Multiple Futures for Dynamic Obstacle Avoidance of Mobile Robots

Ze Zhang, Emmanuel Dean, Yiannis Karayiannidis et al
IEEE International Conference on Automation Science and Engineering. Vol. 2021-August, p. 475-481
Paper in proceeding
2021

Trajectory Generation for Mobile Robots in a Dynamic Environment using Nonlinear Model Predictive Control

Jonas Berlin, Georg Hess, Anton Karlsson et al
IEEE International Conference on Automation Science and Engineering. Vol. 2021-August, p. 942-947
Paper in proceeding
2020

Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification

Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
EPiC Series in Computing. Vol. 74, p. 259-266
Paper in proceeding
2020

Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems

Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi et al
EPiC Series in Computing. Vol. 74, p. 267-274
Paper in proceeding
2020

Multiple Objective Functions for Falsification of Cyber-Physical Systems

Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen et al
IFAC-PapersOnLine. Vol. 53 (4), p. 417-422
Paper in proceeding
2020

A risk control framework for safe manufacturing workstations in view of COVID-19

Ebly Sanchez, Knut Åkesson
MATEC Web of Conferences. Vol. 327
Paper in proceeding
2020

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 39 (12), p. 5247-5260
Journal article
2020

Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows

Elinor Jernheden, Carl Lindström, Rickard Persson et al
IEEE International Conference on Automation Science and Engineering. Vol. 2020-August, p. 378-383
Paper in proceeding
2020

Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation

Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2020-August, p. 1590-1595
Paper in proceeding
2019

Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing

Jason Li, Per-Lage Goetvall, Julien Provost et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2019-September, p. 1544-1547
Paper in proceeding
2019

On the use of equivalence classes for optimal and sub-optimal bin covering

Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi et al
IEEE International Conference on Automation Science and Engineering. Vol. 2019-August, p. 1004-1009
Paper in proceeding
2019

SMT solvers for flexible job-shop scheduling problems: A computational analysis

Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2019-August, p. 673-678
Paper in proceeding
2019

Evaluating Two Semantics for Falsification using an Autonomous Driving Example

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al
IEEE International Conference on Industrial Informatics (INDIN). Vol. 2019-July, p. 386-391
Paper in proceeding
2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al
2019 18th European Control Conference, ECC 2019, p. 1752-1759
Paper in proceeding
2018

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper in proceeding
2018

SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation

Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 547-552
Paper in proceeding
2018

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceeding
2018

Evaluation of Photogrammetry for Use in Industrial Production Systems

Jason Li, Jonatan Berglund, Felix Auris et al
IEEE International Conference on Automation Science and Engineering. Vol. 2018-August, p. 414-420
Paper in proceeding
2017

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

Robi Malik, Knut Åkesson, Hugo Flordal et al
IFAC-PapersOnLine. Vol. 50 (1), p. 5794-5799
Paper in proceeding
2017

Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata

Johan Eddeland, Javier Gil Cepeda, Rick Fransen et al
IFAC-PapersOnLine. Vol. 50 (1), p. 9260-9265
Paper in proceeding
2017

Objective functions for falsification of signal temporal logic properties in cyber-physical systems

Johan Eddeland, Sajed Miremadi, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering. Vol. 2017-August, p. 1326-1331
Paper in proceeding
2017

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

Martin Fabian, Bengt Lennartson, Knut Åkesson
IEEE Transactions on Automation Science and Engineering. Vol. 14 (2), p. 692-693
Other text in scientific journal
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: AIEDAM. Vol. 30 (3), p. 313-328
Journal article
2016

Automated analysis of interdependencies between product platforms and assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre Johansson et al
Procedia CIRP. Vol. 44, p. 67-72
Paper in proceeding
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
Journal article
2015

Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Zhennan Fei, Knut Åkesson, S. Reveliotis
Proceedings of the IEEE Conference on Decision and Control. Vol. 2015-February, p. 5935-5942
Paper in proceeding
2015

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

Zhennan Fei, Knut Åkesson, S. Reveliotis
IEEE International Conference on Automation Science and Engineering. Vol. 2015-October, p. 799-806
Paper in proceeding
2015

Formal analysis of product variability and the effects on assembly operations

Amir Hossein Ebrahimi, Knut Åkesson, Pierre Johansson et al
IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Vol. 2015-October
Paper in proceeding
2015

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

Zhennan Fei, Spyros Reveliotis, Sajed Miremadi et al
IEEE Transactions on Automation Science and Engineering. Vol. 12 (3), p. 990-1006
Journal article
2014

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

Amir Hossein Ebrahimi, Pierre Johansson, Knut Åkesson
ACM International Conference Proceeding Series. Vol. 2014-September (September), p. 45-
Paper in proceeding
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
Journal article
2014

Managing product and production variety - A language workbench approach

Amir Hossein Ebrahimi, Pierre Johansson, Kristofer Bengtsson et al
Procedia CIRP. Vol. 17, p. 338-344
Paper in proceeding
2014

Formal Methods for the Inspection of Vehicle Configuration Rules

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

Supervisory control of manufacturing systems using extended finite automata

Martin Fabian, Zhennan Fei, Sajed Miremadi et al
Formal Methods in Manufacturing, p. 295-314
Book chapter
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
Journal article
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
Journal article
2014

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

Zhennan Fei, Spyros Reveliotis, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 9 (3), p. 362-369
Paper in proceeding
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
Journal article
2013

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

Yixiao Yun, Irene Yu-Hua 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-
Paper in proceeding
2013

Online support for shop-floor operators using body movements tracking

Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 12 (1), p. 102-109
Paper in proceeding
2013

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

Zhennan Fei, Sajed Miremadi, Knut Åkesson et al
Communications in Computer and Information Science. Vol. 271, p. 161-175
Paper in proceeding
2012

Symbolic representation and computation of timed discrete event systems

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

Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems

Sajed Miremadi, Zhennan Fei, Knut Åkesson et al
Proceedings of the IEEE Conference on Decision and Control, p. 7352-7359
Paper in proceeding
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
Paper in proceeding
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
Journal article
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
Journal article
2012

Verification of Item Usage Rules in Product Configuration

Alexey Voronov, Anna Tidstam, Knut Åkesson et al
IFIP Advances in Information and Communication Technology. Vol. 388 AICT, p. 182-191
Paper in proceeding
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)
Paper in proceeding
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
Paper in proceeding
2012

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

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

Symbolic Computation of Reduced Guards in Supervisory Control

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

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

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

BDD-based supervisory control on extended finite automata

Sajed Miremadi, Bengt Lennartson, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 25-31
Paper in proceeding
2011

Modeling sequential resource allocation systems using Extended Finite Automata

Zhennan Fei, Sajed Miremadi, Knut Åkesson
IEEE International Conference on Automation Science and Engineering, p. 444 - 449
Paper in proceeding
2011

Enumeration of valid partial configurations

Alexey Voronov, Knut Åkesson, Fredrik Ekstedt
Proceedings of Workshop on Configuration, IJCAI 2011. Vol. 755, p. 25-31
Paper in proceeding
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. 560-569
Journal article
2011

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

R. Malik, Martin Fabian, Knut Åkesson
IFAC Proceedings Volumes (IFAC-PapersOnline). Vol. 18 (PART 1), p. 7000-7005
Paper in proceeding
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
Paper in proceeding
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
Paper in proceeding
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
Journal article
2010

Practice of Industrial Control Logic Programming using Library Components

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Programmable Logic Controller, p. 17-32
Book chapter
2010

Relations Identification and Visualization for Sequence Planning and Automation Design

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

Modular specification of forbidden states for supervisory control

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

Sequence Planning for Integrated Product, Process and Automation Design

Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan et al
IEEE Transactions on Automation Science and Engineering. Vol. 7 (4), p. 791-802
Journal article
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
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
Paper in proceeding
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
Paper in proceeding
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
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 proceeding
2009

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

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

Supervisory Control Applied to Automata Extended with Variables - Revised

Markus Sköldstam, Knut Åkesson, Martin Fabian
Report
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

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

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

Reusable Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Report
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
Paper in proceeding
2008

Formal Specification and Verification of Components for Industrial Logic Control Programming

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Proceedings of the 4th IEEE Conference on Automation Science and Engineering, p. 935-940
Paper in proceeding
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 proceeding
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 proceeding
2007

A framework for integrated supervisory and logic control framework

Knut Åkesson, Markus Sköldstam
Report
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
Paper in proceeding
2007

Modeling of Discrete Event Systems using Finite 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 proceeding
2007

Supervisory control applied to automata extended with variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Report
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
Paper in proceeding
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
Paper in proceeding
2007

Modeling of Discrete Event Systems using Finite Automata With Variables

Markus Sköldstam, Knut Åkesson, Martin Fabian
Proceedings of the 46th IEEE Conference on Decision and Control
Journal article
2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence

Hugo Flordal, Robi Malik, Martin Fabian et al
Discrete Event Dynamic Systems: Theory and Applications. Vol. 17 (4), p. 475-504
Journal article
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
Paper in proceeding
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
Journal article
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
Other conference contribution
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 proceeding
2006

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

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
Proceedings of the 2006 IEEE International Conference on Emerging Technology and Factory Automation, Sep 2006, Prague, Czech Republic
Journal article
2006

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

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
2006 IEEE Conference on Emerging Technologies and Factory Automation, ETFA; Hamburg; Germany; 20 September 2006 through 22 September 2006, p. 1269-1276
Paper in proceeding
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
Paper in proceeding
2004

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

Hugo Flordal, Martin Fabian, Knut Åkesson
Proceedings of the 11th IFAC Symposium of Information Control Problems in Manufacturing, Salvador, Brazil
Paper in proceeding
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
Paper in proceeding
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
Paper in proceeding
2003

Automatic Multi Robot Coordination

Hugo Flordal, Martin Fabian, Knut Åkesson
Konferensprogram för Mekatronikmötet 2003, Göteborg, Sweden
Paper in proceeding
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
Paper in proceeding
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
Paper in proceeding
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
Paper in proceeding
2002

Exploiting Modularity for Synthesis and Verification of Supervisors

Knut Åkesson, Hugo Flordal, Martin Fabian
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Paper in proceeding
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 proceeding
1999

Implementing supervisory control for chemical batch processes

Knut Åkesson, Martin Fabian
Proc of IEEE Conference on Control Applications, Hawaii
Paper in proceeding
1999

Petri net models in batch control

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

Recipe coordination in chemical batch processes

Knut Åkesson
Licentiate thesis
1999

Deadlock avoidance in batch processes

Michael Tittus, Knut Åkesson
Proc of the IFAC World Congress, Beijing
Paper in proceeding
1998

Modular Supervisors for Deadlock Avoidance in Batch Processes

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

Modular Control for Avoiding Deadlock in Batch Processes

Knut Åkesson, Michael Tittus
Proc WBF Meeting of the Minds, Baltimore, USA
Paper in proceeding
1997

Discrete Event Models in Batch Control

Michael Tittus, Knut Åkesson
Proc of the 2nd MATHMOD, Vienna, Austria
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 5 research projects

2019–2021

Vision and machine learning for collaborative robotics

Knut Åkesson Automation
Torsten Sattler Imaging and Image Analysis
Yiannis Karayiannidis Mechatronics
Chalmers AI Research Centre (CHAIR)

2019–2021

Project ViMCoR

Knut Åkesson Automation
Yiannis Karayiannidis Mechatronics
Torsten Sattler Imaging and Image Analysis
Martin Fabian Automation
Ze Zhang Automation
Sabino Francesco Roselli Automation
Volvo Group

5 publications exist
2017–2022

Systematic testing of cyber-physical systems (SyTeC)

John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Martin Fabian Automation
Mary Sheeran Functional Programming
Bengt Lennartson Automation
Nicholas Smallbone Functional Programming
Zahra Ramezani Automation
Knut Åkesson Automation
Swedish Research Council (VR)

30 publications exist
2016–2019

Model Based Testing of Mechatronic Systems (TESTRON)

Knut Åkesson Automation
Martin Fabian Automation
VINNOVA

8 publications exist
2011–2015

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

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

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