Остановите войну!
for scientists:
default search action
Knut Åkesson
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j26]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Conflict-free electric vehicle routing problem: an improved compositional algorithm. Discret. Event Dyn. Syst. 34(1): 21-51 (2024) - [j25]Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson:
On Input Generators for Cyber-Physical Systems Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(4): 1274-1287 (2024) - 2023
- [j24]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): 5488-5495 (2023) - 2022
- [j23]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): 1405-1421 (2022) - [j22]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): 2393-2406 (2022) - 2021
- [j21]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): 369-381 (2021) - 2020
- [j20]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): 5247-5260 (2020) - 2017
- [j19]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): 692-693 (2017) - 2016
- [j18]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): 313-328 (2016) - 2015
- [j17]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): 990-1006 (2015) - [j16]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic Supervisory Control of Timed Discrete Event Systems. IEEE Trans. Control. Syst. Technol. 23(2): 584-597 (2015) - 2014
- [j15]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): 655-677 (2014) - [j14]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic Representation and Computation of Timed Discrete-Event Systems. IEEE Trans Autom. Sci. Eng. 11(1): 6-19 (2014) - [j13]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): 33-47 (2014) - [j12]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata. IEEE Trans. Control. Syst. Technol. 22(6): 2368-2375 (2014) - 2012
- [j11]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): 308-319 (2012) - [j10]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): 1421-1435 (2012) - [j9]Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian:
Towards Industrial Formal Specification of Programmable Safety Systems. IEEE Trans. Control. Syst. Technol. 20(6): 1567-1574 (2012) - 2011
- [j8]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): 560-569 (2011) - [j7]Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Symbolic Computation of Reduced Guards in Supervisory Control. IEEE Trans Autom. Sci. Eng. 8(4): 754-765 (2011) - 2010
- [j6]Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan:
Formal Specification and Verification of Industrial Control Logic Components. IEEE Trans Autom. Sci. Eng. 7(3): 538-548 (2010) - [j5]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): 791-802 (2010) - [j4]Goran Cengic, Knut Åkesson:
On Formal Analysis of IEC 61499 Applications, Part A: Modeling. IEEE Trans. Ind. Informatics 6(2): 136-144 (2010) - [j3]Goran Cengic, Knut Åkesson:
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics. IEEE Trans. Ind. Informatics 6(2): 145-154 (2010) - 2009
- [j2]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): 495-524 (2009) - 2007
- [j1]Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson:
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discret. Event Dyn. Syst. 17(4): 475-504 (2007)
Conference and Workshop Papers
- 2023
- [c59]Endre Erós, Kristofer Bengtsson, Knut Åkesson:
Structural Coverability for Intelligent Automation Systems. CASE 2023: 1-6 - [c58]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: 1-7 - [c57]Endre Erós, Kristofer Bengtsson, Knut Åkesson:
Fault localization for intelligent automation systems. ETFA 2023: 1-8 - 2022
- [c56]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: 701-706 - [c55]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: 1110-1115 - [c54]Johan Lidén Eddeland, Alexandre Donzé, Knut Åkesson:
Multi-Requirement Testing Using Focused Falsification. HSCC 2022: 4:1-4:11 - 2021
- [c53]Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson:
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS 2021: 195-202 - [c52]Ze Zhang, Emmanuel Dean, Yiannis Karayiannidis, Knut Åkesson:
Motion Prediction Based on Multiple Futures for Dynamic Obstacle Avoidance of Mobile Robots. CASE 2021: 475-481 - [c51]Amir Hossein Ebrahimi, Knut Åkesson:
Modelling and analysis of product platforms and assembly sequences with respect to variability. CASE 2021: 563-569 - [c50]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: 942-947 - [c49]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CASE 2021: 1364-1369 - [c48]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. MED 2021: 542-547 - 2020
- [c47]Johan Lidén Eddeland, Sajed Miremadi, Knut Åkesson:
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. ARCH 2020: 259-266 - [c46]Johan Lidén Eddeland, Alexandre Donzé, Sajed Miremadi, Knut Åkesson:
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. ARCH 2020: 267-274 - [c45]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: 378-383 - [c44]Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson:
Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation. CASE 2020: 1590-1595 - 2019
- [c43]Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson:
SMT Solvers for Flexible Job-Shop Scheduling Problems: A Computational Analysis. CASE 2019: 673-678 - [c42]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: 1004-1009 - [c41]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: 1544-1547 - [c40]Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson:
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC 2019: 1752-1759 - [c39]Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson:
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN 2019: 386-391 - 2018
- [c38]Jason Li, Jonatan Berglund, Felix Auris, Atieh Hanna, Johan Vallhagen, Knut Åkesson:
Evaluation of Photogrammetry for Use in Industrial Production Systems. CASE 2018: 414-420 - [c37]Sabino Francesco Roselli, Kristofer Bengtsson, Knut Åkesson:
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation. CASE 2018: 547-552 - [c36]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: 8-9 - 2017
- [c35]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: 1326-1331 - 2015
- [c34]Zhennan Fei, Knut Åkesson, Spyros A. Reveliotis:
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques. CASE 2015: 799-806 - [c33]Amir Hossein Ebrahimi, Knut Åkesson, Pierre E. C. Johansson, Thomas Lezama:
Formal analysis of product variability and the effects on assembly operations. ETFA 2015: 1-4 - 2014
- [c32]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: 5935-5942 - [c31]Amir Hossein Ebrahimi, Pierre E. C. Johansson, Knut Åkesson:
Challenges in product family knowledge modeling and analysis: from product design to manufacturing. FOSD 2014: 45 - [c30]Zhennan Fei, Spyros A. Reveliotis, Knut Åkesson:
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems. WODES 2014: 362-369 - 2013
- [c29]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: 1-6 - [c28]Julien Provost, Amir Hossein Ebrahimi, Knut Åkesson:
Online Support for Shop-Floor Operators Using Body Movements Tracking. IFAC HMS 2013: 102-109 - 2012
- [c27]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: 502-507 - [c26]Sajed Miremadi, Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic computation of nonblocking control function for timed discrete event systems. CDC 2012: 7352-7359 - [c25]Bengt Lennartson, Sajed Miremadi, Zhennan Fei, Mona Noori Hosseini, Martin Fabian, Knut Åkesson:
State-vector transition model applied to supervisory control. ETFA 2012: 1-8 - [c24]Alexey Voronov, Anna Tidstam, Knut Åkesson, Johan Malmqvist:
Verification of Item Usage Rules in Product Configuration. PLM 2012: 182-191 - 2011
- [c23]Sajed Miremadi, Bengt Lennartson, Knut Åkesson:
BDD-based supervisory control on extended finite automata. CASE 2011: 25-31 - [c22]Zhennan Fei, Sajed Miremadi, Knut Åkesson:
Modeling sequential resource allocation systems using Extended Finite Automata. CASE 2011: 444-449 - [c21]Alexey Voronov, Knut Åkesson, Fredrik Ekstedt:
Enumeration of Valid Partial Configurations. Configuration Workshop 2011 - [c20]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: 106-115 - [c19]Zhennan Fei, Sajed Miremadi, Knut Åkesson, Bengt Lennartson:
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory. ICAART (Revised Selected Papers) 2011: 161-175 - [c18]Zhennan Fei, Knut Åkesson, Bengt Lennartson:
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory. ICRA 2011: 4364-4369 - 2010
- [c17]Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson:
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE 2010: 471-476 - [c16]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: 841-848 - [c15]Sajed Miremadi, Knut Åkesson, Bengt Lennartson, Martin Fabian:
Supervisor computation and representation: A case study. WODES 2010: 275-280 - [c14]Patrik Magnusson, Martin Fabian, Knut Åkesson:
Modular specification of forbidden states for supervisory control. WODES 2010: 412-417 - 2009
- [c13]Alexey Voronov, Knut Åkesson:
Verification of process operations using model checking. CASE 2009: 415-420 - 2008
- [c12]Oscar Ljungkrantz, Knut Åkesson, Martin Fabian:
Formal specification and verification of components for industrial logic control programming. CASE 2008: 935-940 - 2007
- [c11]Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian:
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. CASE 2007: 14-19 - [c10]Oscar Ljungkrantz, Knut Åkesson:
A Study of Industrial Logic Control Programming using Library Components. CASE 2007: 117-122 - [c9]Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson:
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. CASE 2007: 207-212 - [c8]Markus Sköldstam, Knut Åkesson, Martin Fabian:
Modeling of discrete event systems using finite automata with variables. CDC 2007: 3387-3392 - [c7]Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson:
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers. ICRA 2007: 674-679 - 2006
- [c6]Goran Cengic, Oscar Ljungkrantz, Knut Åkesson:
A Framework for Component Based Distributed Control Software Development Using IEC 61499. ETFA 2006: 782-789 - [c5]Goran Cengic, Oscar Ljungkrantz, Knut Åkesson:
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. ETFA 2006: 1269-1276 - 2005
- [c4]Goran Cengic, Knut Åkesson, Bengt Lennartson, Chengyin Yuan, Placid Mathew Ferreira:
Implementation of full synchronous composition using IEC 61499 function blocks. CASE 2005: 267-272 - 2002
- [c3]Knut Åkesson, S. Jain, Placid M. Ferreira:
Hybrid Computer-Human Supervision of Discrete Event Systems. ICRA 2002: 2321-2326 - 2000
- [c2]Knut Åkesson, Martin Fabian, Arash Vahidi:
Coordination of batches in flexible production. ACC 2000: 2735-2739 - 1998
- [c1]Michael Tittus, Knut Åkesson:
Modular supervisors for deadlock avoidance in batch processes. SMC 1998: 764-769
Informal and Other Publications
- 2024
- [i7]Erik Brorsson, Knut Åkesson, Lennart Svensson, Kristofer Bengtsson:
ECAP: Extensive Cut-and-Paste Augmentation for Unsupervised Domain Adaptive Semantic Segmentation. CoRR abs/2403.03854 (2024) - 2022
- [i6]Sabino Francesco Roselli, Per-Lage Götvall, Martin Fabian, Knut Åkesson:
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem. CoRR abs/2203.06977 (2022) - [i5]Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson:
Falsification of Cyber-Physical Systems using Bayesian Optimization. CoRR abs/2209.06735 (2022) - [i4]Zahra Ramezani, Knut Åkesson:
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems. CoRR abs/2209.07131 (2022) - 2021
- [i3]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers. CoRR abs/2103.08217 (2021) - [i2]Sabino Francesco Roselli, Martin Fabian, Knut Åkesson:
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. CoRR abs/2106.07387 (2021) - 2019
- [i1]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 abs/1910.08306 (2019)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint