Current-state opacity modelling and verification in partially observed Petri nets

System opacity is a widely studied security notion, implying that a secret behaviour of a given system cannot be seen or assessed by an external observer based on the system evolution. This work deals with the problem of current-state opacity formulation and verification in the context of discrete e...

Celý popis

Podrobná bibliografie

Vydáno v:	Automatica (Oxford) Ročník 116; s. 108907
Hlavní autoři:	Saadaoui, Ikram, Li, Zhiwu, Wu, Naiqi
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Ltd 01.06.2020
Témata:	Integer linear programming Observable behaviour Opacity Petri net Secret behaviour Integer linear programming Observable behaviour Opacity Secret behaviour Petri net
ISSN:	0005-1098, 1873-2836
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!