Martin Fabian
Martin Fabian is Head of the Automation research group and Full Professor of Automation at the Department of Electrical Engineering.
Showing 221 publications
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
Automatic Conversion of Smart Contracts for Non-Blocking Verification
Supervisory Control Synthesis of Timed Automata Using Forcible Events
Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department
Conflict-free electric vehicle routing problem: an improved compositional algorithm
Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots
On Input Generators for Cyber-Physical Systems Falsification
On proving that an unsafe controller is not proven safe
On Active Learning for Supervisor Synthesis
Lupremica - Lua Scripting for Supremica
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
A survey on compositional algorithms for verification and synthesis in supervisory control
PMSM MTPA-Control with Reinforcement Learning and CO2 Burden
On test case reduction for testing safety properties of manufacturing systems
On Optimization of Automation Systems: Integrating Modular Learning and Optimization
Modeling and Security Verification of State-Based Smart Contracts
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Automatically Learning Formal Models from Autonomous Driving Software
Formal verification of deadlock avoidance rules for AGV systems
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
Sequence Planner: A Framework for Control of Intelligent Automation Systems
Testing Cyber-Physical Systems Using a Line-Search Falsification Method
A Compositional Algorithm for the Conflict-Free Electric Vehicle Routing Problem
Interactive formal specification for efficient preparation of intelligent automation systems
Model properties for efficient synthesis of nonblocking modular supervisors
Solving the conflict-free electric vehicle routing problem using SMT solvers
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
MIDES: A Tool for Supervisor Synthesis via Active Learning
Compositional coordinator synthesis of extended finite automata
On the Use of Equivalence Classes for Optimal and Suboptimal Bin Packing and Bin Covering
An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem
On testing and automatic mending of safety PLC code
Guard extraction for modeling and control of a collaborative assembly station
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle
Non-blocking Supervisory Control of Timed Automata using Forcible Events
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Modular Supervisory Synthesis for Unknown Plant Models Using Active Learning
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
Supervisory Control Theory in System Safety Analysis
Active Learning of Modular Plant Models
Control components for Collaborative and Intelligent Automation Systems
On-the-fly conformance testing of safety PLC code using QuickCheck
On the Safe IOCOS relation for Testing Safety PLC Code
On the use of equivalence classes for optimal and sub-optimal bin covering
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Supervisory control of discrete-event systems in an asynchronous setting
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
Testing Safety PLCs Using QuickCheck
Synthesis of Supervisors for Unknown Plant Models Using Active Learning
Evaluating Two Semantics for Falsification using an Autonomous Driving Example
No synthesis needed, we are alright already
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Testing and validation of safety logic in the virtual environment
Towards Automatic Learning of Discrete-Event Models from Simulations
On the Equivalence of Controllability and the Input Output Conformance Testing Relation
Digital Twin for Legacy Systems: Simulation Model Testing and Validation
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Real-time Visualization of Robot Operation Sequences
Virtual Engineering Framework forAutomatic Generation of Control Logic including Safety
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
Automated Mode Coverage Analysis for Cyber-Physical Systems using Hybrid Automata
Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning
Application of formal verification to the lane change module of an autonomous vehicle
Objective functions for falsification of signal temporal logic properties in cyber-physical systems
Compositional synthesis of supervisors in the form of state machines and state maps
Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules
Error handling within highly automated automotive industry: Current practice and research needs
A framework for compositional nonblocking verification of extended finite-state machines
On restart of automated manufacturing systems using restart states
Welcome message from general and program chairs
Modeling and automatic calculation of restart states for an industrial windscreen mounting station
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE
An algorithm for compositional nonblocking verification of extended finite-state machines
Supervisory Control for State-Vector Transition Models—A Unified Approach
Unified model for synthesis and optimization of discrete event and hybrid systems
Formal Methods for the Inspection of Vehicle Configuration Rules
Supervisory control of manufacturing systems using extended finite automata
An Empirical Study of Control Logic Specifications for Programmable Logic Controllers
Certainly Unsupervisable States
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
Robust manual control of a manufacturing system using supervisory control theory
Calculating restart states using reset transitions
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
Derivation of placement transitions for offline calculation of restart states
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
Towards Industrial Formal Specification of Programmable Safety Systems
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations
Transition Removal for Compositional Supervisor Synthesis
State-Vector Transition Model Applied to Supervisory Control
Human operator and robot resource modeling for planning purposes in assembly systems
Planning in assembly systems – A common modeling for products and resources
From Task Allocation Towards Resource Allocation when Optimising Assembly Systems
From task allocation towards resource allocation when optimising assembly systems
On the Use of Observation Equivalence
THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction
Generation of restart states for manufacturing cell controllers
Planning transport sequences for flexible manufacturing systems
A formal specification language for PLC-based control logic
Formal Specification and Verification of Industrial Control Logic Components
Practice of Industrial Control Logic Programming using Library Components
Sequence Planning for Integrated Product, Process and Automation Design
Modular specification of forbidden states for supervisory control
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
Restarting manufacturing systems; restart states and restartability
Supervisor Computation and Representation: A Case Study
Synthesis of Restart States for Manufacturing Cell Controllers
Generation of restart states for manufacturing systems with discarded workpieces
A framework for automatic generation of interlocking functions for flexible manufacturing.
Supervisory Control Applied to Automata Extended with Variables - Revised
Formal Specification and Verification of Components for Industrial Logic Control Programming
Velocity balancing in flexible manufacturing systems
Reusable Components for Industrial Logic Control Programming
Solving Two Supervisory Control Benchmark Problems Using Supremica
Reliable Control of Complex Manufacturing Cells
Supervisory control applied to automata extended with variables
Modeling of Discrete Event Systems using Finite Automata With Variables
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior
Modeling of Discrete Event Systems using Finite Automata With Variables
Efficient Supervisory Synthesis of Large Systems
Hierarchical Control Applying Supervisor Synthesis and relation Extraction
Automatic Generation of Distributed Control Functions for Multi-Product Manufacturing Cells
Scheduling Algorithms for Optimal Robot Cell Coordination - a Comparison
Restarting Flexible Manufacturing Systems; Synthesis of Restart States
Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming
Coordinated operations by relation extraction for manufacturing cell controllers
Synthesis of Hierarchical and Distributed Control Functions for Multi-Product Manufacturing Cells
Hierachical control of flexible manufacturing systems applying information reuse
Control architecture for flexible production systems
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
On the execution of sequential function charts
Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells
Verification of a Novel Approach in Control of Flexible Manufacturing Cells
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Efficient supervisory synthesis of large systems
Early Termination by Local String in Incremental Language Containment Tests
Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles
Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells
Controllability Revisited: A Generalization for the Modular Approach
Maximally permissive mutually and globally nonblocking supervisors for discrete event systems
Automatic Multi Robot Coordination
Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Automatic Generation of PLC programs for Control of Flexible Manufacturing Cells
CHAMP - a Generic Architecture for Flexible Production
Modelling and PLC-based Implementation of Modular Supervisory Control
Exploiting Modularity for Synthesis and Verification of Supervisors
Generic Resource Booking Models in Flexible Cells
On the Execution of Discrete Event Systems as Sequential Function Charts
Efficient Application of Symbolic Tools for Resource Booking Problems
Implementation of control and scheduling for production systems
Prioritised Synchronous Composition of Inhibitor Arc Petri Nets
Desco - a Tool for Education and Control of Discrete Event Systems
Mutually Nonblocking Supervisory Control of Discrete Event Systems
Coordination of batches in flexible production
Implementing supervisory control for chemical batch processes
Deadlock Detection and Controller Synthesis for Production Systems Using Partial Order Techniques
Synchronised Execution of Discrete Event Models Using Sequential Function Charts
Modeling, Specification and Controller Synthesis for Discrete Event Systems
PLC-based Implementation of Supervisory Control for Discrete Event Systems
A Generic System Architecure for Flexible Production
Modeling Primitives for Supervisory Control
Modeling Primitives and Specification Structures for Supervisory Control
Specification Structures for Supervisory Control
Chalmers Architecture and Methodology for Flexible Production - Champ
Database Design for Machining Cell Resource Models
A Class of Non-Deterministic Specifications for Supervisory Control
Operator control activities in flexible manufacturing systems
Integrating Process Planning and Control for Flexible Production Systems
Concurrently competing production sequences - A case for nondeterministic supervisory control
Controlling and Coordinating Recipes in Batch Applications
On nondeterministic supervisory control
Generic Resource Models and a Message-Passing Structure in an FMS Controller
Control System Support for Manual Interaction in Flexible Manufacturing Systems
Controlling and Coordinating Recipes in Batch Applications
Controlling and Coordinating Recipes in Batch Applications
A Class of Nondeterministic Marked Specification for Supervisory Control
Automated Generation of Plant-Specific Recipes in Batch Control
Dynamic Products in Control of an FMS Cell
A Machining Cell Level Language for Product Specification
Database Design for Machining Cell Level Product Specification
Towards a Truly Flexible Manufacturing System
Petri Net Constructs for High Level Operation Lists
A Class of Nondeterministic Specifications for Supervisory Control
Operator Control Activities in Manufacturing Systems - A Case Study of a Machining Cell
Applying Supervisory Control to Discrete Event Systems Modeled by Object Oriented Principles
Guidelines for a generic message-based structure to obtain flexible cell control
Petri Nets and Control Synthesis; An Object Oriented Approach
Towards a True Flexible Manufacturing System
Object Oriented Supervisory Control with a Class of Nondeterministic Specifications
Distributed Objects for Real-Time Control Systems
Object Oriented Structuring of Real Time Control Systems
Control of Manufacturing Systems - An Object Oriented Approach
Control of Manufacturing Systems - An Object Oriented Approach
Object-Oriented Structuring of Real-Time Systems
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 13 research projects
Automatically Assessing Correctness of Autonomous Vehicles (Auto-CAV)
Systematic testing of cyber-physical systems (SyTeC)
Engineering Tool Chain for Efficient and Iterative Development of Smart Factories (ENTOC)
Model Based Testing of Mechatronic Systems (TESTRON)
FFI Informationssystemarkitektur 2 - Smarta händelsestyrda tjänster
Efficient Maintenance for Sustaninable Transport Solutions (EMATS)
RObot based Autonomous Refuse handling (ROAR)
Virtual Commissioning of Production Systems - including PLC logics