A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study.

Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi

Browse the full SmartComp paper archive.