Knut Åkesson
According to our database1,
Knut Åkesson
authored at least 88 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024
Discret. Event Dyn. Syst., 2024
ECAP: Extensive Cut-and-Paste Augmentation for Unsupervised Domain Adaptive Semantic Segmentation.
CoRR, 2024
2023
Prescient Collision-Free Navigation of Mobile Robots With Iterative Multimodal Motion Prediction of Dynamic Obstacles.
IEEE Robotics Autom. Lett., September, 2023
Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023
Collision-Free Trajectory Planning of Mobile Robots by Integrating Deep Reinforcement Learning and Model Predictive Control.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023
2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
IEEE Trans Autom. Sci. Eng., 2022
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems.
CoRR, 2022
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Multimodal Motion Prediction Based on Adaptive and Swarm Sampling Loss Functions for Reactive Mobile Robots.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
Centralized versus Distributed Nonlinear Model Predictive Control for Online Robot Fleet Trajectory Planning.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
2021
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering.
IEEE Trans Autom. Sci. Eng., 2021
Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021
Motion Prediction Based on Multiple Futures for Dynamic Obstacle Avoidance of Mobile Robots.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
Modelling and analysis of product platforms and assembly sequences with respect to variability.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
Trajectory Generation for Mobile Robots in a Dynamic Environment using Nonlinear Model Predictive Control.
Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021
2020
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020
Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
2019
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019
Proceedings of the 17th European Control Conference, 2019
Training Convolutional Neural Networks with Synthesized Data for Object Recognition in Industrial Manufacturing.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering.
IEEE Trans Autom. Sci. Eng., 2017
Objective functions for falsification of signal temporal logic properties in cyber-physical systems.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
Formulating constraint satisfaction problems for the inspection of configuration rules.
Artif. Intell. Eng. Des. Anal. Manuf., 2016
2015
IEEE Trans. Control. Syst. Technol., 2015
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng., 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
2014
IEEE Trans. Control. Syst. Technol., 2014
IEEE Trans Autom. Sci. Eng., 2014
IEEE Trans Autom. Sci. Eng., 2014
An empirical study of control logic specifications for programmable logic controllers.
Empir. Softw. Eng., 2014
A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Challenges in product family knowledge modeling and analysis: from product design to manufacturing.
Proceedings of the Sixth International Workshop on Feature-Oriented Software Development, 2014
Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
Proceedings of the 12th IFAC/IFIP/IFORS/IEA Symposium on Analysis, 2013
Multi-view hand tracking using epipolar geometry-based consistent labeling for an industrial application.
Proceedings of the Seventh International Conference on Distributed Smart Cameras, 2013
2012
IEEE Trans. Control. Syst. Technol., 2012
IEEE Trans. Control. Syst. Technol., 2012
IEEE Trans Autom. Sci. Eng., 2012
Proceedings of the Product Lifecycle Management. Towards Knowledge-Rich Enterprises, 2012
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012
Symbolic computation of nonblocking control function for timed discrete event systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
A symbolic approach to large-scale discrete event systems modeled as finite automata with variables.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012
2011
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.
IEEE Trans Autom. Sci. Eng., 2011
IEEE Trans Autom. Sci. Eng., 2011
Symbolic reachability computation using the disjunctive partitioning technique in Supervisory Control Theory.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011
Proceedings of the Agents and Artificial Intelligence - Third International Conference, 2011
Efficient Symbolic Supervisory Synthesis and Guard Generation - Evaluating Partitioning Techniques for the State-space Exploration.
Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011
Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011
2010
IEEE Trans. Ind. Informatics, 2010
IEEE Trans. Ind. Informatics, 2010
IEEE Trans Autom. Sci. Eng., 2010
IEEE Trans Autom. Sci. Eng., 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
Relations identification and visualization for sequence planning and automation design.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010
2009
Discret. Event Dyn. Syst., 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
2008
Formal specification and verification of components for industrial logic control programming.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008
2007
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.
Discret. Event Dyn. Syst., 2007
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers.
Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007
Proceedings of the 46th IEEE Conference on Decision and Control, 2007
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
2006
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
A Framework for Component Based Distributed Control Software Development Using IEC 61499.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006
2005
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005
2002
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002
2000
Proceedings of the American Control Conference, 2000
1998
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998