Search Results for author: Zahra Abedi Khouzani

Found 1 papers, 0 papers with code

Using Subobservers to Synthesize Opacity-Enforcing Supervisors

no code implementations8 Oct 2021 Richard Hugh Moulton, Behnam Behinaein Hamgini, Zahra Abedi Khouzani, Rômulo Meira-Góes, Fei Wang, Karen Rudie

In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states.

Cannot find the paper you are looking for? You can Submit a new open access paper.