Knut Åkesson

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 43

Top Topics

Equivalence Class

Routing Problem

Top Venues

IEEE Trans Autom. Sci. Eng.

Publications

Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
Conflict-free electric vehicle routing problem: an improved compositional algorithm. Discret. Event Dyn. Syst. 34 (1) (2024)
Ze Zhang, Yao Cai, Kristian Ceder, Arvid Enliden, Ossian Eriksson, Soleil Kylander, Rajath Sridhara, Knut Åkesson
Collision-Free Trajectory Planning of Mobile Robots by Integrating Deep Reinforcement Learning and Model Predictive Control. CASE (2023)
Endre Erós, Kristofer Bengtsson, Knut Åkesson
Structural Coverability for Intelligent Automation Systems. CASE (2023)
Endre Erós, Kristofer Bengtsson, Knut Åkesson
Fault localization for intelligent automation systems. ETFA (2023)
Ze Zhang, Hadi Hajieghrary, Emmanuel Dean, Knut Åkesson
Prescient Collision-Free Navigation of Mobile Robots With Iterative Multimodal Motion Prediction of Dynamic Obstacles. IEEE Robotics Autom. Lett. 8 (9) (2023)
Ze Zhang, Emmanuel Dean, Yiannis Karayiannidis, Knut Åkesson
Multimodal Motion Prediction Based on Adaptive and Swarm Sampling Loss Functions for Reactive Mobile Robots. CASE (2022)
Filip Bertilsson, Martin Gordon, Johan Hansson, Daniel Möller, Daniel Söderberg, Ze Zhang, Knut Åkesson
Centralized versus Distributed Nonlinear Model Predictive Control for Online Robot Fleet Trajectory Planning. CASE (2022)
Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson
Multi-Requirement Testing Using Focused Falsification. HSCC (2022)
Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson
Falsification of Cyber-Physical Systems using Bayesian Optimization. CoRR (2022)
Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. CoRR (2022)
Zahra Ramezani, Knut Åkesson
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems. CoRR (2022)
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. IEEE Trans Autom. Sci. Eng. 19 (3) (2022)
Jonas Berlin, Georg Hess, Anton Karlsson, William Ljungbergh, Ze Zhang, Knut Åkesson, Per-Lage Götvall
Trajectory Generation for Mobile Robots in a Dynamic Environment using Nonlinear Model Predictive Control. CASE (2021)
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CoRR (2021)
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CASE (2021)
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS (2021)
Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi, Martin Fabian, Knut Åkesson
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering. IEEE Trans Autom. Sci. Eng. 18 (1) (2021)
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. MED (2021)
Sabino Francesco Roselli, Martin Fabian, Knut Åkesson
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. CoRR (2021)
Ze Zhang, Emmanuel Dean, Yiannis Karayiannidis, Knut Åkesson
Motion Prediction Based on Multiple Futures for Dynamic Obstacle Avoidance of Mobile Robots. CASE (2021)
Amir Hossein Ebrahimi, Knut Åkesson
Modelling and analysis of product platforms and assembly sequences with respect to variability. CASE (2021)
Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation. CASE (2020)
Elinor Jernheden, Carl Lindström, Rickard Persson, Max Wedenmark, Endre Erös, Sabino Francesco Roselli, Knut Åkesson
Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows. CASE (2020)
Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. ARCH (2020)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. ARCH (2020)
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC (2019)
Jason Li, Per-Lage Götvall, Julien Provost, Knut Åkesson
Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing. ETFA (2019)
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN (2019)
Sabino Francesco Roselli, Fredrik Hagebring, Sarmad Riazi, Martin Fabian, Knut Åkesson
On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering. CASE (2019)
Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. CASE (2019)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR (2019)
Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation. CASE (2018)
Jason Li, Jonatan Berglund, Felix Auris, Atieh Hanna, Johan Vallhagen, Knut Åkesson
Evaluation of Photogrammetry for Use in Industrial Production Systems. CASE (2018)
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek (2018)
Johan Lidén Eddeland, Sajed Miremadi, Martin Fabian, Knut Åkesson
Objective functions for falsification of signal temporal logic properties in cyber-physical systems. CASE (2017)
Martin Fabian, Bengt Lennartson, Knut Åkesson
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. IEEE Trans Autom. Sci. Eng. 14 (2) (2017)
Anna Tidstam, Johan Malmqvist, Alexey Voronov, Knut Åkesson, Martin Fabian
Formulating constraint satisfaction problems for the inspection of configuration rules. Artif. Intell. Eng. Des. Anal. Manuf. 30 (3) (2016)
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
Symbolic Supervisory Control of Timed Discrete Event Systems. IEEE Trans. Control. Syst. Technol. 23 (2) (2015)
Zhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems. IEEE Trans Autom. Sci. Eng. 12 (3) (2015)
Amir Hossein Ebrahimi, Knut Åkesson, Pierre E. C. Johansson, Thomas Lezama
Formal analysis of product variability and the effects on assembly operations. ETFA (2015)
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques. CASE (2015)
Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software. CDC (2014)
Bengt Lennartson, Francesco Basile, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
Supervisory Control for State-Vector Transition Models - A Unified Approach. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Amir Hossein Ebrahimi
An empirical study of control logic specifications for programmable logic controllers. Empir. Softw. Eng. 19 (3) (2014)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. IEEE Trans. Control. Syst. Technol. 22 (6) (2014)
Amir Hossein Ebrahimi, Pierre E. C. Johansson, Knut Åkesson
Challenges in product family knowledge modeling and analysis: from product design to manufacturing. FOSD (2014)
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
Symbolic Representation and Computation of Timed Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. WODES (2014)
Yixiao Yun, Irene Yu-Hua Gu, Julien Provost, Knut Åkesson
Multi-view hand tracking using epipolar geometry-based consistent labeling for an industrial application. ICDSC (2013)
Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson
Online Support for Shop-Floor Operators Using Body Movements Tracking. IFAC HMS (2013)
Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian
Towards Industrial Formal Specification of Programmable Safety Systems. IEEE Trans. Control. Syst. Technol. 20 (6) (2012)
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
A BDD-Based Approach for Modeling Plant and Supervisor by Extended Finite Automata. IEEE Trans. Control. Syst. Technol. 20 (6) (2012)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables. CASE (2012)
Alexey Voronov, Anna Tidstam, Knut Åkesson, Johan Malmqvist
Verification of Item Usage Rules in Product Configuration. PLM (2012)
Kristofer Bengtsson, Patrik Bergagard, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
Sequence Planning Using Multiple and Coordinated Sequences of Operations. IEEE Trans Autom. Sci. Eng. 9 (2) (2012)
Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson
Symbolic computation of nonblocking control function for timed discrete event systems. CDC (2012)
Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson
State-vector transition model applied to supervisory control. ETFA (2012)
Sajed Miremadi, Knut Åkesson, Bengt Lennartson
Symbolic Computation of Reduced Guards in Supervisory Control. IEEE Trans Autom. Sci. Eng. 8 (4) (2011)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE Trans Autom. Sci. Eng. 8 (3) (2011)
Zhennan Fei, Sajed Miremadi, Knut Åkesson
Modeling sequential resource allocation systems using Extended Finite Automata. CASE (2011)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration. ICAART (1) (2011)
Alexey Voronov, Knut Åkesson, Fredrik Ekstedt
Enumeration of Valid Partial Configurations. Configuration Workshop (2011)
Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. ICAART (Revised Selected Papers) (2011)
Zhennan Fei, Knut Åkesson, Bengt Lennartson
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. ICRA (2011)
Sajed Miremadi, Bengt Lennartson, Knut Åkesson
BDD-based supervisory control on extended finite automata. CASE (2011)
Bengt Lennartson, Kristofer Bengtsson, Chengyin Yuan, Kristin Andersson, Martin Fabian, Petter Falkman, Knut Åkesson
Sequence Planning for Integrated Product, Process and Automation Design. IEEE Trans Autom. Sci. Eng. 7 (4) (2010)
Goran Cengic, Knut Åkesson
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics. IEEE Trans. Ind. Informatics 6 (2) (2010)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE (2010)
Kristofer Bengtsson, Carl Thorstensson, Bengt Lennartson, Knut Åkesson, Chengyin Yuan, Sajed Miremadi, Petter Falkman
Relations identification and visualization for sequence planning and automation design. CASE (2010)
Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian
Supervisor computation and representation: A case study. WODES (2010)
Patrik Magnusson, Martin Fabian, Knut Åkesson
Modular specification of forbidden states for supervisory control. WODES (2010)
Goran Cengic, Knut Åkesson
On Formal Analysis of IEC 61499 Applications, Part A: Modeling. IEEE Trans. Ind. Informatics 6 (2) (2010)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan
Formal Specification and Verification of Industrial Control Logic Components. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. 19 (4) (2009)
Alexey Voronov, Knut Åkesson
Verification of process operations using model checking. CASE (2009)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Formal specification and verification of components for industrial logic control programming. CASE (2008)
Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers. ICRA (2007)
Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. CASE (2007)
Oscar Ljungkrantz, Knut Åkesson
A Study of Industrial Logic Control Programming using Library Components. CASE (2007)
Markus Sköldstam, Knut Åkesson, Martin Fabian
Modeling of discrete event systems using finite automata with variables. CDC (2007)
Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. CASE (2007)
Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discret. Event Dyn. Syst. 17 (4) (2007)
Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
A Framework for Component Based Distributed Control Software Development Using IEC 61499. ETFA (2006)
Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. ETFA (2006)
Goran Cengic, Knut Åkesson, Bengt Lennartson, Chengyin Yuan, Placid Mathew Ferreira
Implementation of full synchronous composition using IEC 61499 function blocks. CASE (2005)
Knut Åkesson, S. Jain, Placid M. Ferreira
Hybrid Computer-Human Supervision of Discrete Event Systems. ICRA (2002)
Knut Åkesson, Martin Fabian, Arash Vahidi
Coordination of batches in flexible production. ACC (2000)
Michael Tittus, Knut Åkesson
Modular supervisors for deadlock avoidance in batch processes. SMC (1998)