Characterizing intransitive noninterference for 3-domain security policies with observability
Hadj-Alouane, N.B., Lafrance, S., Feng Lin, Mullins, J., Yeddes, M.
Published in IEEE transactions on automatic control (01.06.2005)
Published in IEEE transactions on automatic control (01.06.2005)
Get full text
Journal Article
Variable lookahead supervisory control with state information
Hadj-Alouane, N.B., Lafortune, S., Feng Lin
Published in IEEE transactions on automatic control (01.12.1994)
Published in IEEE transactions on automatic control (01.12.1994)
Get full text
Journal Article
Diagnosis of a Class of Timed Discrete Event Systems
Derbel, H., Yeddes, M., Hadj-Alouane, N.B., Alla, H.
Published in 2006 8th International Workshop on Discrete Event Systems (2006)
Published in 2006 8th International Workshop on Discrete Event Systems (2006)
Get full text
Conference Proceeding
The design and implementation of the control and integration software of a flexible manufacturing system
HadjAlouane, N.B., Chaar, J.K., Naylor, A.W.
Published in Systems Integration '90. Proceedings of the First International Conference on Systems Integration (1990)
Published in Systems Integration '90. Proceedings of the First International Conference on Systems Integration (1990)
Get full text
Conference Proceeding