Necessary and sufficient condition to assess initial-state-opacity in live bounded and reversible discrete event systems.
- Resource Type
- Journal
- Authors
- Basile, Francesco (I-SLRN2-IEA) AMS Author Profile; De Tommasi, Gianmaria (I-NAPL-ELI) AMS Author Profile; Motta, Carlo (I-NAPL-ELI) AMS Author Profile; Sterle, Claudio (I-NAPL-ELI) AMS Author Profile
- Source
- IEEE Control Systems Letters (IEEE Control Syst. Lett.) (20220101), 6, 2683-2688. eISSN: 2475-1456.
- Subject
- 90 Operations research, mathematical programming -- 90C Mathematical programming
90C10 Integer programming
90C90 Applications of mathematical programming
- Language
- English