Supremica - A Tool for Verification and Synthesis of Discrete Event Supervisors
Paper in proceeding, 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