Knut Åkesson
Showing 132 publications
Structural Coverability for Intelligent Automation Systems
Fault localization for intelligent automation systems
Testing Cyber-Physical Systems Using a Line-Search Falsification Method
The impact of visualizing operational deviations on overall quality in assembly lines
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem
Multi-Requirement Testing Using Focused Falsification
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering
Solving the conflict-free electric vehicle routing problem using SMT solvers
Modelling and analysis of product platforms and assembly sequences with respect to variability
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
Motion Prediction Based on Multiple Futures for Dynamic Obstacle Avoidance of Mobile Robots
A risk control framework for safe manufacturing workstations in view of COVID-19
Comparison of Exact and Approximate methods for the Vehicle Routing Problem with Time Windows
Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Compact Representation of Time-Index Job Shop Problems Using a Bit-Vector Formulation
Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification
Evaluating Two Semantics for Falsification using an Autonomous Driving Example
SMT solvers for flexible job-shop scheduling problems: A computational analysis
On the use of equivalence classes for optimal and sub-optimal bin covering
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Evaluation of Photogrammetry for Use in Industrial Production Systems
Applying valued booleans in testing of cyber-physical systems
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
SMT Solvers for Job-Shop Scheduling Problems: Models Comparison and Performance Evaluation
Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules
Automated analysis of interdependencies between product platforms and assembly operations
Formal analysis of product variability and the effects on assembly operations
Symbolic Supervisory Control of Timed Discrete Event Systems
Managing product and production variety - A language workbench approach
Symbolic Representation and Computation of Timed Discrete-Event Systems
Supervisory Control for State-Vector Transition Models—A Unified Approach
Supervisory control of manufacturing systems using extended finite automata
An Empirical Study of Control Logic Specifications for Programmable Logic Controllers
Formal Methods for the Inspection of Vehicle Configuration Rules
Efficient Symbolic Supervisor Synthesis for Extended Finite Automata
Online support for shop-floor operators using body movements tracking
Symbolic State-Space Exploration and Guard Generation in Supervisory Control Theory
Sequence Planning Using Multiple and Coordinated Sequences of Operations
State-Vector Transition Model Applied to Supervisory Control
Towards Industrial Formal Specification of Programmable Safety Systems
Symbolic representation and computation of timed discrete event systems
Symbolic Computation of Nonblocking Control Function for Timed Discrete Event Systems
Development of Industrial Visualization Tools for Validation of Vehicle Configuration Rules
A BDD-based Approach for Modeling Plant and Supervisor by Extended Finite Automata
Verification of Item Usage Rules in Product Configuration
A Symbolic Approach to Large-Scale Discrete Event Systems Modeled as Finite Automata with Variables
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata
Enumeration of valid partial configurations
Modeling sequential resource allocation systems using Extended Finite Automata
Symbolic Computation of Reduced Guards in Supervisory Control
BDD-based supervisory control on extended finite automata
A formal specification language for PLC-based control logic
Formal Specification and Verification of Industrial Control Logic Components
On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics
Supervisor Computation and Representation: A Case Study
Practice of Industrial Control Logic Programming using Library Components
Symbolic approach to nonblocking and safe control of extended Finite Automata
Sequence Planning for Integrated Product, Process and Automation Design
Relations Identification and Visualization for Sequence Planning and Automation Design
Modular specification of forbidden states for supervisory control
On Formal Analysis of IEC 61499 Applications, Part A: Modeling
Verification of Process Operations Using Model Checking
Verification of Supervisory Control Properties of Finite Automata Extended with Variables
SAT-Solving in Practice, with a Tutorial Example from Supervisory Control
Definition of the Execution Model Used in the Fuber IEC 61499 Runtime Environment
Supervisory Control using Satisfiability Solvers
Supervisory Control Applied to Automata Extended with Variables - Revised
Reusable Components for Industrial Logic Control Programming
Formal Specification and Verification of Components for Industrial Logic Control Programming
Solving Two Supervisory Control Benchmark Problems Using Supremica
Extraction and Representation of a Supervisor Using Guards in Extended Finite Automata
Supervisory control applied to automata extended with variables
Modeling of Discrete Event Systems using Finite Automata With Variables
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Towards a Framework for Integrated Supervisory and Logic Control
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems
A Study of Industrial Logic Control Programming Using Library Components
Modeling of Discrete Event Systems using Finite Automata With Variables
A framework for integrated supervisory and logic control framework
A Framework for Component Based Distributed Control Software Development Using IEC 61499
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime
Efficient Reachability Analysis on Modular Discrete-Event Systems using Binary Decision Diagrams
Implementation of full synchronous composition using IEC 61499 function blocks
Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles
Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells
Controllability Revisited: A Generalization for the Modular Approach
Computer-Human Supervision of Flexible Manufacturing Systems
Automatic Multi Robot Coordination
Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Hybrid Computer-Human Supervision of Discrete Event Systems
Exploiting Modularity for Synthesis and Verification of Supervisors
Coordination of batches in flexible production
Petri net models in batch control
Implementing supervisory control for chemical batch processes
Deadlock avoidance in batch processes
Modular Control for Avoiding Deadlock in Batch Processes
Modular Supervisors for Deadlock Avoidance in Batch Processes
Discrete Event Models in Batch Control
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
Vision and machine learning for collaborative robotics
Systematic testing of cyber-physical systems (SyTeC)
Model Based Testing of Mechatronic Systems (TESTRON)
An Internet-based Collaborative Platform for Managing Manufacturing Knowledge (Know4Car)