A Logic-Based Approach to Model Supervisory Control Systems.

Pierangelo Dell'Acqua, Anna Lombardi, Lus Moniz Pereira

Browse the full ISMIS paper archive.