Martin Fabian

IEEE Trans. Autom. Control., February, 2024

On proving that an unsafe controller is not proven safe.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., February, 2024

Robust stutter bisimulation for abstraction and controller synthesis with disturbance.

[BibT_eX]

[DOI]

Autom., February, 2024

On Active Learning for Supervisor Synthesis.

[BibT_eX]

[DOI]

Ramon Tijsse Claase

IEEE Trans Autom. Sci. Eng., January, 2024

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

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2024

Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Control, 2024

Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots.

[BibT_eX]

[DOI]

Francesco Popolizio

Martina Vinetti

Alvin Combrink

Maria Pia Fanti

Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023

A survey on compositional algorithms for verification and synthesis in supervisory control.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., September, 2023

Formal Development of Safe Automated Driving Using Differential Dynamic Logic.

[BibT_eX]

[DOI]

Yuvaraj Selvaraj

Wolfgang Ahrendt

IEEE Trans. Intell. Veh., January, 2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

2022

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

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

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

[BibT_eX]

[DOI]

Per-Lage Götvall

IEEE Trans Autom. Sci. Eng., 2022

On Optimization of Automation Systems: Integrating Modular Learning and Optimization.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2022

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

[BibT_eX]

[DOI]

CoRR, 2022

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.

[BibT_eX]

[DOI]

CoRR, 2022

Formal verification of deadlock avoidance rules for AGV systems.

[BibT_eX]

[DOI]

Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2021

Compositional coordinator synthesis of extended finite automata.

[BibT_eX]

[DOI]

Martijn A. Goorden

Joanna M. van de Mortel-Fronczak

Wan J. Fokkink

Jacobus E. Rooda

Discret. Event Dyn. Syst., 2021

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems.

[BibT_eX]

[DOI]

Aida Rashidinejad

CoRR, 2021

Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers.

[BibT_eX]

[DOI]

Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

MIDES: A Tool for Supervisor Synthesis via Active Learning.

[BibT_eX]

[DOI]

Fredrik Hagebring

Joanna M. van de Mortel-Fronczak

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations.

[BibT_eX]

[DOI]

Int. J. Prod. Res., 2020

Model Properties for Efficient Synthesis of Nonblocking Modular Supervisors.

[BibT_eX]

[DOI]

Martijn A. Goorden

CoRR, 2020

Supervisory Control Theory in System Safety Analysis.

[BibT_eX]

[DOI]

Yuvaraj Selvaraj

Zhennan Fei

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Automatically learning formal models: an industrial case from autonomous driving development.

[BibT_eX]

[DOI]

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019

Evaluating Two Semantics for Falsification using an Autonomous Driving Example.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

On-the-fly conformance testing of safety PLC code using QuickCheck.

[BibT_eX]

[DOI]

Adnan Khan

David Thönnessen

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle<sup>*</sup>.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study.

[BibT_eX]

[DOI]

Yuvaraj Selvaraj

Wolfgang Ahrendt

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

On the Safe IOCOS relation for Testing Safety PLC Code.

[BibT_eX]

[DOI]

Adnan Khan

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Control components for Collaborative and Intelligent Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Testing Safety PLCs Using QuickCheck.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Supervisory Control of Discrete-Event Systems in an Asynchronous Setting.

[BibT_eX]

[DOI]

Aida Rashidinejad

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

No synthesis needed, we are alright already.

[BibT_eX]

[DOI]

Martijn A. Goorden

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

Synthesis of Supervisors for Unknown Plant Models Using Active Learning.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018

Digital Twin for Legacy Systems: Simulation Model Testing and Validation.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Towards Automatic Learning of Discrete-Event Models from Simulations.

[BibT_eX]

[DOI]

Petter Falkman

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.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2017

Compositional synthesis of supervisors in the form of state machines and state maps.

[BibT_eX]

[DOI]

Autom., 2017

Application of formal verification to the lane change module of an autonomous vehicle.

[BibT_eX]

[DOI]

Anton Zita

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Virtual engineering framework for automatic generation of control logic including safety.

[BibT_eX]

[DOI]

Adnan Khan

Petter Falkman

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016

A framework for compositional nonblocking verification of extended finite-state machines.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2016

Formulating constraint satisfaction problems for the inspection of configuration rules.

[BibT_eX]

[DOI]

Artif. Intell. Eng. Des. Anal. Manuf., 2016

Error handling within highly automated automotive industry: Current practice and research needs.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

On restart of automated manufacturing systems using restart states.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Supervisory Control for State-Vector Transition Models - A Unified Approach.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2014

An empirical study of control logic specifications for programmable logic controllers.

[BibT_eX]

[DOI]

Oscar Ljungkrantz

Amir Hossein Ebrahimi

Empir. Softw. Eng., 2014

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Calculating restart states using reset transitions.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Certainly Unsupervisable States.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Derivation of placement transitions for offline calculation of restart states.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Compositional nonblocking verification for extended finite-state automata using partial unfolding.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012

Towards Industrial Formal Specification of Programmable Safety Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2012

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Planning in assembly systems - A common modeling for products and resources.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

State-vector transition model applied to supervisory control.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Transition removal for compositional supervisor synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Nondeterminism avoidance in compositional synthesis of discrete event systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2010

Formal Specification and Verification of Industrial Control Logic Components.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Sequence Planning for Integrated Product, Process and Automation Design.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Restarting Manufacturing Systems; Restart States and Restartability.

[BibT_eX]

[DOI]

Kristin Andersson

IEEE Trans Autom. Sci. Eng., 2010

Supervisor computation and representation: A case study.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Modular specification of forbidden states for supervisory control.

[BibT_eX]

[DOI]

Patrik Magnusson

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Special Issue on WODES'08.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2009

Time-Optimal Coordination of Flexible Manufacturing Systems Using Deterministic Finite Automata and Mixed Integer Linear Programming.

[BibT_eX]

[DOI]

Avenir Kobetski

Discret. Event Dyn. Syst., 2009

Generation of restart states for manufacturing systems with discarded workpieces.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Formal specification and verification of components for industrial logic control programming.

[BibT_eX]

[DOI]

Oscar Ljungkrantz

Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2007

Modeling of discrete event systems using finite automata with variables.

[BibT_eX]

[DOI]

Markus Sköldstam

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Scheduling algorithms for optimal robot cell coordination - a comparison.

[BibT_eX]

[DOI]

Avenir Kobetski

Domenico Spensieri

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Sinthesis of hierarchical and distributed control functions for multi-product manufacturing cells.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005

Maximally permissive mutually and globally nonblocking supervision with application to switching control.

[BibT_eX]

[DOI]

Autom., 2005

Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams.

[BibT_eX]

[DOI]

Arash Vahidi

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Control architecture for flexible production systems.

[BibT_eX]

[DOI]

Petter Falkman

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2004

Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells.

[BibT_eX]

[DOI]

Johan Richardsson

Kristin Danielsson

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Supervision of multiple industrial robots: optimal and collision free work cycles.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Control Applications, 2004

2003

Reuse of information as a base for development and verification of control programs for flexible manufacturing cells.

[BibT_eX]

[DOI]

Johan Richardsson

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

Automatic generation of PLC programs for control of flexible manufacturing cells.

[BibT_eX]

[DOI]

Johan Richardsson

Proceedings of 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003

2001

Efficient application of symbolic tools for resource booking problems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2001

2000

Mutually nonblocking supervisory control of discrete event systems.

[BibT_eX]

[DOI]

Ratnesh Kumar

Autom., 2000

Coordination of batches in flexible production.

[BibT_eX]

[DOI]

Arash Vahidi

Proceedings of the American Control Conference, 2000

1998

Modeling, specification and controller synthesis for discrete event systems.

[BibT_eX]

[DOI]

Michael Tittus

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

A Class of Non-Deterministic Specifications for Supervisory Control.

[BibT_eX]

[DOI]