Sahar Mohajerani
Visar 31 publikationer
Lupremica - Lua Scripting for Supremica
A survey on compositional algorithms for verification and synthesis in supervisory control
Modeling and Security Verification of State-Based Smart Contracts
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
On test case reduction for testing safety properties of manufacturing systems
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Application of formal verification to the lane change module 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
SYNTHESIS OBSERVATION EQUIVALENCE AND WEAK SYNTHESIS OBSERVATION EQUIVALENCE
An algorithm for compositional nonblocking verification of extended finite-state machines
Certainly Unsupervisable States
FIVE ABSTRACTION RULES TO REMOVE TRANSITIONS WHILE PRESERVING COMPOSITIONAL SYNTHESIS RESULTS
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
Compositional Nonblocking Verification for Extended Finite-State Automata Using Partial Unfolding
PARTIAL UNFOLDING FOR COMPOSITIONAL NONBLOCKING VERIFICATION OF EXTENDED FINITE-STATE MACHINES
An Algorithm for Weak Synthesis Observation Equivalence for Compositional Supervisor Synthesis
Transition Removal for Compositional Supervisor Synthesis
On Compositional Supervisor Synthesis for Discrete Event 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
On Initialization of Iterative Algorithms for Nonlinear ARX Models
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 1 forskningsprojekt
Logisk medellering av Formell Verifiering av Säkerhetsfunktioner i Självkörande Fordon