Exploiting Modularity for Synthesis and Verification of Supervisors
Paper in proceedings, 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

More information

Created

10/7/2017