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 (SSIF 2011)
Computer and Information Science