Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

Automatica ◽  
2011 ◽  
Vol 47 (4) ◽  
pp. 782-788 ◽  
Author(s):  
Fuchun Liu ◽  
Hai Lin ◽  
Zbigniew Dziong
Automatica ◽  
2002 ◽  
Vol 38 (11) ◽  
pp. 1935-1943 ◽  
Author(s):  
Hervé Marchand ◽  
Olivier Boivineau ◽  
Stéphane Lafortune

Sign in / Sign up

Export Citation Format

Share Document