| On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic | 0 | 0.34 | 2022 |
| MIDES - A Tool for Supervisor Synthesis via Active Learning. | 0 | 0.34 | 2021 |
| On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering | 0 | 0.34 | 2021 |
| An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem. | 0 | 0.34 | 2021 |
| Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. | 0 | 0.34 | 2021 |
| Supervisory Control Theory in System Safety Analysis. | 0 | 0.34 | 2020 |
| Towards Data-Driven Approaches In Manufacturing: An Architecture To Collect Sequences Of Operations | 0 | 0.34 | 2020 |
| Automatically learning formal models: an industrial case from autonomous driving development | 0 | 0.34 | 2020 |
| Verification of Decision Making Software in an Autonomous Vehicle - An Industrial Case Study. | 0 | 0.34 | 2019 |
| Comparative Case Studies Of Reactive Synthesis And Supervisory Control | 0 | 0.34 | 2019 |
| Control components for Collaborative and Intelligent Automation Systems | 0 | 0.34 | 2019 |
| On the Use of Equivalence Classes for Optimal and Sub-Optimal Bin Covering. | 0 | 0.34 | 2019 |
| On-the-fly conformance testing of safety PLC code using QuickCheck | 0 | 0.34 | 2019 |
| No synthesis needed, we are alright already | 0 | 0.34 | 2019 |
| Synthesis of Supervisors for Unknown Plant Models Using Active Learning | 0 | 0.34 | 2019 |
| Supervisory Control of Discrete-Event Systems in an Asynchronous Setting | 0 | 0.34 | 2019 |
| Evaluating Two Semantics for Falsification using an Autonomous Driving Example | 0 | 0.34 | 2019 |
| Digital Twin for Legacy Systems: Simulation Model Testing and Validation | 1 | 0.43 | 2018 |
| Objective Functions For Falsification Of Signal Temporal Logic Properties In Cyber-Physical Systems* | 0 | 0.34 | 2017 |
| Compositional synthesis of supervisors in the form of state machines and state maps. | 6 | 0.47 | 2017 |
| Application Of Formal Verification To The Lane Change Module Of An Autonomous Vehicle | 0 | 0.34 | 2017 |
| Guest Editorial Special Section on the 2015 International Conference on Automation Science and Engineering. | 0 | 0.34 | 2017 |
| Virtual Engineering Framework For Automatic Generation Of Control Logic Including Safety | 1 | 0.35 | 2017 |
| Formulating constraint satisfaction problems for the inspection of configuration rules. | 0 | 0.34 | 2016 |
| A framework for compositional nonblocking verification of extended finite-state machines | 6 | 0.50 | 2016 |
| On restart of automated manufacturing systems using restart states | 0 | 0.34 | 2015 |
| A Framework for Compositional Synthesis of Modular Nonblocking Supervisors | 12 | 0.68 | 2014 |
| Unified Model for Synthesis and Optimization of Discrete Event and Hybrid Systems. | 0 | 0.34 | 2014 |
| An empirical study of control logic specifications for programmable logic controllers | 0 | 0.34 | 2014 |
| Calculating restart states using reset transitions | 0 | 0.34 | 2014 |
| An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. | 2 | 0.40 | 2014 |
| Compositional nonblocking verification for extended finite-state automata using partial unfolding | 3 | 0.46 | 2013 |
| Derivation of placement transitions for offline calculation of restart states | 1 | 0.39 | 2013 |
| Certainly Unsupervisable States. | 0 | 0.34 | 2013 |
| State-vector transition model applied to supervisory control. | 0 | 0.34 | 2012 |
| An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. | 3 | 0.42 | 2012 |
| Transition removal for compositional supervisor synthesis | 1 | 0.38 | 2012 |
| Towards Industrial Formal Specification of Programmable Safety Systems. | 4 | 0.45 | 2012 |
| Nondeterminism avoidance in compositional synthesis of discrete event systems. | 4 | 0.51 | 2011 |
| Modular specification of forbidden states for supervisory control. | 0 | 0.34 | 2010 |
| Supervisor computation and representation: A case study. | 2 | 0.41 | 2010 |
| Sequence Planning for Integrated Product, Process and Automation Design | 31 | 1.91 | 2010 |
| Restarting Manufacturing Systems; Restart States and Restartability | 10 | 0.72 | 2010 |
| Formal Specification and Verification of Industrial Control Logic Components | 8 | 0.57 | 2010 |
| Generation of restart states for manufacturing systems with discarded workpieces | 0 | 0.34 | 2009 |
| Special Issue on WODES'08 | 0 | 0.34 | 2009 |
| Modeling of discrete event systems using finite automata with variables | 63 | 2.78 | 2007 |
| Minimization Of Expected Cycle Time In Manufacturing Cells With Uncontrollable Behavior | 1 | 0.42 | 2007 |
| Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence | 30 | 1.95 | 2007 |
| Maximally permissive mutually and globally nonblocking supervision with application to switching control | 6 | 0.75 | 2005 |
