1 citations · 1 across the 3 of their papers we have counts for
3 papers
eess.SY2022★ 1 cited
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Jonas Krook, Robi Malik, Sahar Mohajerani +1
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. T…
cs.CR2019
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement
Sahar Mohajerani, Yiding Ji, Stephane Lafortune
This paper develops a novel compositional and abstraction-based approach to synthesize edit functions for opacity enforcement in modular discrete event systems. Edit functions alte…
cs.LO2019
Transforming opacity verification to nonblocking verification in modular systems
Sahar Mohajerani, Stephane Lafortune
We consider the verification of current-state and K-step opacity for systems modeled as interacting non-deterministic finite-state automata. We describe a new methodology for compo…