Martin Fabian
Martin Fabian är forskargruppsledare och professor i automation.

Visar 221 publikationer
Automatic Conversion of Smart Contracts for Non-Blocking Verification
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
Supervisory Control Synthesis of Timed Automata Using Forcible Events
Discrete-Event Based Patient Flow Simulation of an Emergency Surgery Department
On proving that an unsafe controller is not proven safe
On Active Learning for Supervisor Synthesis
Online Conflict-Free Scheduling of Fleets of Autonomous Mobile Robots
Conflict-free electric vehicle routing problem: an improved compositional algorithm
On Input Generators for Cyber-Physical Systems Falsification
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
Lupremica - Lua Scripting for Supremica
PMSM MTPA-Control with Reinforcement Learning and CO2 Burden
A survey on compositional algorithms for verification and synthesis in supervisory control
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
On Optimization of Automation Systems: Integrating Modular Learning and Optimization
Automatically Learning Formal Models from Autonomous Driving Software
On test case reduction for testing safety properties of manufacturing systems
Sequence Planner: A Framework for Control of Intelligent Automation Systems
Formal verification of deadlock avoidance rules for AGV systems
Leveraging Conflicting Constraints in Solving Vehicle Routing Problems
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
MIDES: A Tool for Supervisor Synthesis via Active Learning
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Compositional coordinator synthesis of extended finite automata
Model properties for efficient synthesis of nonblocking modular supervisors
Solving the conflict-free electric vehicle routing problem using SMT solvers
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
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle
Guard extraction for modeling and control of a collaborative assembly station
Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development
Towards data-driven approaches in manufacturing: an architecture to collect sequences of operations
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
Active Learning of Modular Plant Models
Supervisory Control Theory in System Safety Analysis
On the Safe IOCOS relation for Testing Safety PLC Code
Control components for Collaborative and Intelligent Automation Systems
On the use of equivalence classes for optimal and sub-optimal bin covering
On-the-fly conformance testing of safety PLC code using QuickCheck
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
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
Supervisory control of discrete-event systems in an asynchronous setting
No synthesis needed, we are alright already
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
Sequence Planner: Supporting Integrated Virtual Preparation and Commissioning
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
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
Error handling within highly automated automotive industry: Current practice and research needs
Formulating Constraint Satisfaction Problems for the Inspection of Configuration Rules
A framework for compositional nonblocking verification of extended finite-state machines
Welcome message from general and program chairs
On restart of automated manufacturing systems using restart states
Modeling and automatic calculation of restart states for an industrial windscreen mounting station
Formal Methods for the Inspection of Vehicle Configuration Rules
Supervisory control of manufacturing systems using extended finite automata
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE
An Empirical Study of Control Logic Specifications for Programmable Logic Controllers
Supervisory Control for State-Vector Transition Models—A Unified Approach
Unified model for synthesis and optimization of discrete event and hybrid systems
An algorithm for compositional nonblocking verification of extended finite-state machines
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
Certainly Unsupervisable States
Calculating restart states using reset transitions
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
Robust manual control of a manufacturing system using supervisory control theory
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
Derivation of placement transitions for offline calculation of restart states
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
Deadlock avoidance for multi product manufacturing systems modeled as sequences of operations
Towards Industrial Formal Specification of Programmable Safety Systems
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
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
Sequence Planning for Integrated Product, Process and Automation Design
A formal specification language for PLC-based control logic
Modular specification of forbidden states for supervisory control
Formal Specification and Verification of Industrial Control Logic Components
Practice of Industrial Control Logic Programming using Library Components
Coordination of Operations by Relation Extraction for Manufacturing Cell Controllers
Supervisor Computation and Representation: A Case Study
Restarting manufacturing systems; restart states and restartability
Synthesis of Restart States for Manufacturing Cell Controllers
A framework for automatic generation of interlocking functions for flexible manufacturing.
Generation of restart states for manufacturing systems with discarded workpieces
Velocity balancing in flexible manufacturing systems
Supervisory Control Applied to Automata Extended with Variables - Revised
Formal Specification and Verification of Components for Industrial Logic Control Programming
Reusable Components for Industrial Logic Control Programming
Solving Two Supervisory Control Benchmark Problems Using Supremica
Reliable Control of Complex Manufacturing Cells
Modeling of Discrete Event Systems using Finite Automata With Variables
Supervisory control applied to automata extended 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
Hierarchical Control Applying Supervisor Synthesis and relation Extraction
Efficient Supervisory Synthesis of Large Systems
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
Coordinated operations by relation extraction for manufacturing cell controllers
Synthesis of Hierarchical and Distributed Control Functions for Multi-Product Manufacturing Cells
Scheduling of Discrete Event Systems Using Mixed Integer Linear Programming
Hierachical control of flexible manufacturing systems applying information reuse
Control architecture for flexible production systems
On the execution of sequential function charts
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Verification of a Novel Approach in Control of Flexible Manufacturing Cells
Efficient Analysis of Large Discrete-Event Systems with Binary Decision Diagrams
Automatic Implementation And Verification Of Coordinating PLC-Code For Robot Cells
Efficient supervisory synthesis of large systems
Supervision of Multiple Industrial Robots - Optimal and Collision Free Work Cycles
Early Termination by Local String in Incremental Language Containment Tests
Controllability Revisited: A Generalization for the Modular Approach
Design of Control Programs for Efficient Handling of Errors in Flexible Manufacturing Cells
Maximally permissive mutually and globally nonblocking supervisors for discrete event systems
Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Automatic Multi Robot Coordination
Automatic Generation of PLC programs for Control of Flexible Manufacturing Cells
CHAMP - a Generic Architecture for Flexible Production
Exploiting Modularity for Synthesis and Verification of Supervisors
Modelling and PLC-based Implementation of Modular Supervisory Control
Generic Resource Booking Models in Flexible Cells
On the Execution of Discrete Event Systems as Sequential Function Charts
Implementation of control and scheduling for production systems
Efficient Application of Symbolic Tools for Resource Booking Problems
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
PLC-based Implementation of Supervisory Control for Discrete Event Systems
A Generic System Architecure for Flexible Production
Modeling, Specification and Controller Synthesis for Discrete Event Systems
Modeling Primitives for Supervisory Control
Modeling Primitives and Specification Structures for Supervisory Control
Specification Structures for Supervisory Control
Database Design for Machining Cell Resource Models
Chalmers Architecture and Methodology for Flexible Production - Champ
A Class of Non-Deterministic Specifications for Supervisory Control
Integrating Process Planning and Control for Flexible Production Systems
Operator control activities in flexible manufacturing systems
Controlling and Coordinating Recipes in Batch Applications
Concurrently competing production sequences - A case for nondeterministic supervisory control
On nondeterministic supervisory control
Controlling and Coordinating Recipes in Batch Applications
A Class of Nondeterministic Marked Specification for Supervisory Control
Control System Support for Manual Interaction in Flexible Manufacturing Systems
Controlling and Coordinating Recipes in Batch Applications
Automated Generation of Plant-Specific Recipes in Batch Control
Generic Resource Models and a Message-Passing Structure in an FMS Controller
Petri Net Constructs for High Level Operation Lists
Dynamic Products in Control of an FMS Cell
Guidelines for a generic message-based structure to obtain flexible cell control
Towards a Truly Flexible Manufacturing System
A Class of Nondeterministic Specifications for Supervisory Control
A Machining Cell Level Language for Product Specification
Database Design for Machining Cell Level Product Specification
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
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
Control of Manufacturing Systems - An Object Oriented Approach
Object Oriented Structuring of Real Time Control Systems
Control of Manufacturing Systems - An Object Oriented Approach
Object-Oriented Structuring of Real-Time Systems
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.
Visar 13 forskningsprojekt
Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV)
Systematisk testning av cyberfysiska system (SyTeC)
Engineering Tool Chain for Efficient and Iterative Development of Smart Factories (ENTOC)
Modellbaserad Testning av Mekatroniska System (TESTRON)
FFI Informationssystemarkitektur 2 - Smarta händelsestyrda tjänster
Effektivt underhåll för hållbara transportlösningar (EMATS)
RObot based Autonomous Refuse handling (ROAR)
Virtuell beredning och idrifttagning av produktionssystem inklusive PLC-logik