Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Paper in proceedings, 2003

Author

Knut Åkesson

Chalmers, Signals and Systems, Control and Automation Laboratory

Martin Fabian

Chalmers, Signals and Systems, Control and Automation Laboratory

Hugo Flordal

Chalmers, Signals and Systems, Control and Automation Laboratory

Arash Vahidi Mazinani

Chalmers, Signals and Systems, Control and Automation Laboratory

Proc. of the 11th Mediterranean Conference on Control and Automation, Rhodos, Greece

Subject Categories

Computer and Information Science

More information

Created

10/7/2017