Formulas for calculating supremal controllable and normal sublanguages

A Discrete Event Systems Approach for Protocol Conversion

Discrete Event Dynamic Systems

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

Discrete Event Dynamic Systems

Control of discrete-event systems with modular or distributed structure

Theoretical Computer Science

Brief paper: Supervisory control of modular systems with global specification languages

Automatica (Journal of IFAC)

Opacity of discrete event systems and its applications

Automatica (Journal of IFAC)

Supervisory control synthesis of discrete-event systems using a coordination scheme

Automatica (Journal of IFAC)

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

Discrete Event Dynamic Systems

Extension based Limited Lookahead Supervision of Discrete Event Systems

Automatica (Journal of IFAC)

Technical Communique: On-line tracing supervisory control of discrete-event dynamic systems based on outlooking

Automatica (Journal of IFAC)

Brief Paper: Mixed centralized/decentralized supervisory control of discrete event dynamic systems

Automatica (Journal of IFAC)

Brief On optimal control of a class of partially observed discrete event systems

Automatica (Journal of IFAC)

Technical Communique: Maximizing robustness of supervisors for partially observed discrete event systems

Automatica (Journal of IFAC)

Supervisory control of discrete event systems

Mathematical and Computer Modelling: An International Journal