The infimal prefix-closed and observable superlanguage of given language

Why Event Observation: Observability Revisited

Discrete Event Dynamic Systems

Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction

Discrete Event Dynamic Systems

A summary of some discrete-event system control problems

CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata

An iterative approach for the satisfaction of security using the intransitive non-interference property

VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems

Brief paper: Formulae relating controllability, observability, and co-observability

Automatica (Journal of IFAC)

Technical Communique: A modified normality condition for decentralized supervisory control of discrete event systems

Automatica (Journal of IFAC)