Observer design and opacity verification for a class of timed automata

Nonlinear Analysis Hybrid Systems 2026 Open access

Read full text

Authors: Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua

DOI: 10.1016/j.nahs.2026.101794

Cited by: 0

References: 21

Fields of Study & Subjects

Formal Methods in Verification Petri Nets in System Modeling semigroups and automata theory

References 21