Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions
Paper i proceeding, 2018
edit function
Finite-state automata
opacity
abstraction
Författare
Sahar Mohajerani
Chalmers, Elektroteknik, System- och reglerteknik, Automation
2018 IEEE Conference on Decision and Control, CDC 2018
0743-1546 (ISSN) 2576-2370 (eISSN)
Miami Beach, FL, USA,
Ämneskategorier
Annan fysik
Teoretisk kemi
Matematisk analys
DOI
10.1109/CDC.2018.8619045