Exploiting Modularity for Synthesis and Verification of Supervisors
Paper in proceeding, 2002
Author
Knut Åkesson
Chalmers, Signals and Systems, Control and Automation Laboratory
Hugo Flordal
Chalmers, Signals and Systems, Control and Automation Laboratory
Martin Fabian
Chalmers, Signals and Systems, Control and Automation Laboratory
Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain
Subject Categories
Computer and Information Science