Secure-by-construction synthesis of cyber-physical systems
Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and
control theory towards designing safety-critical systems. Instead of following the time-tested …
control theory towards designing safety-critical systems. Instead of following the time-tested …
Opacity of discrete event systems with active intruder
Opacity is a security property formalizing the information leakage of a system to an external
observer, namely intruder. The conventional opacity that has been studied in the Discrete …
observer, namely intruder. The conventional opacity that has been studied in the Discrete …
[图书][B] Security Enforcement and Reactive Control of Cyber-Physical Systems
A Partovi - 2020 - search.proquest.com
The recent development in communication networks and computational devices has greatly
enhanced the technological evolution of Cyber-Physical Systems (CPSs), such as …
enhanced the technological evolution of Cyber-Physical Systems (CPSs), such as …
Abstração do supervisor para sistemas com retrabalho visando a solução de um problema de planejamento
FMG Acevedo - 2019 - repositorio.ufmg.br
Autômatos de Estados Finitos e a Teoria de Controle Supervisório (TCS) têm sido usados
para modelar e solucionar problemas de planejamento de tarefas em sistemas de …
para modelar e solucionar problemas de planejamento de tarefas em sistemas de …