Control and synthesis of non-interferent timed systems

DOI10.1080/00207179.2014.944356zbMath1328.93109arXiv1207.4984OpenAlexW2047989760MaRDI QIDQ5265904

Olivier H. Roux, Franck Cassez, Didier Lime, Gilles Benattar

Publication date: 29 July 2015

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.4984

zbMATH Keywords

synthesiscontrolnon-interferencetimed automatonsafety timed games

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Synthesis problems (93B50) Mathematical problems of computer architecture (68M07)

Related Items (4)

An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ The complexity of synchronous notions of information flow security ⋮ Non-interference assessment in colored net systems via integer linear programming ⋮ Parametric Timed Model Checking for Guaranteeing Timed Opacity

Cites Work

• Synthesis of opaque systems with static and dynamic masks
• Formalizing non-interference for a simple bytecode language in Coq
• On observability of discrete-event systems
• A theory of timed automata
• Supervisory control of timed discrete-event systems under partial observation
• Modifying Security Policies for the Satisfaction of Intransitive Non-Interference
• Computer Aided Verification

This page was built for publication: Control and synthesis of non-interferent timed systems