Exploiting Modularity for Synthesis and Verification of Supervisors
Paper i proceeding, 2002

Författare

Knut Åkesson

Chalmers, Signaler och system, Reglerteknik och automation

Hugo Flordal

Chalmers, Signaler och system, Reglerteknik och automation

Martin Fabian

Chalmers, Signaler och system, Reglerteknik och automation

Proceedings of the IFAC World Congress on Automatic Control, Barcelona, Spain

Ämneskategorier

Data- och informationsvetenskap