Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions
Paper in proceedings, 2018
edit function
Finite-state automata
opacity
abstraction
Author
Sahar Mohajerani
Chalmers, Electrical Engineering, Systems and control, Automation
2018 IEEE Conference on Decision and Control, CDC 2018
0743-1546 (ISSN) 2576-2370 (eISSN)
Miami Beach, FL, USA,
Subject Categories
Other Physics Topics
Theoretical Chemistry
Mathematical Analysis
DOI
10.1109/CDC.2018.8619045