most citedRobust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

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…