Title
Nondeterminism avoidance in compositional synthesis of discrete event systems.
Year
DOI
Venue
2011
10.1109/CASE.2011.6042432
CASE
Keywords
Field
DocType
control system synthesis,controllability,discrete event systems,state-space methods,abstraction rules,compositional synthesis,least restrictive controllable supervisors,modular discrete event systems,nonblocking supervisors,nondeterminism avoidance,state-space explosion,synchronous products,synthesis abstraction
Abstraction,Nondeterministic algorithm,Controllability,Supervisory control,Computer science,Automaton,Supervisory control theory,Control engineering,Theoretical computer science,Process control,Modular design
Conference
Citations 
PageRank 
References 
4
0.51
4
Authors
3
Name
Order
Citations
PageRank
Sahar Mohajerani1375.18
Robi Malik225326.13
Martin Fabian320427.91