Sahar Mohajerani
Sahar Mohajerani works in the Automation research group.
Showing 24 publications
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Application of formal verification to the lane change module of an autonomous vehicle
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Compositional synthesis of supervisors in the form of state machines and state maps
A framework for compositional nonblocking verification of extended finite-state machines
On Compositional Approaches for Discrete Event Systems Verification and Synthesis
Certainly Unsupervisable States
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE
An algorithm for compositional nonblocking verification of extended finite-state machines
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding
On Compositional Supervisor Synthesis for Discrete Event Systems
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
Transition Removal for Compositional Supervisor Synthesis
On the Use of Observation Equivalence
THREE VARIATIONS OF OBSERVATION EQUIVALENCE PRESERVING SYNTHESIS ABSTRACTION
Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction
Nondeterminism Avoidance in Compositional Synthesis of Discrete Event Systems
On Initialization of Iterative Algorithms for Nonlinear ARX Models
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:
Showing 1 research projects
Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon