Work

Exploiting Modularity for Synthesis and Verification of Supervisors

Year: 2002

Type: conference-paper

Source: IFAC Proceedings Volumes

DOI: 10.3182/20020721-6-es-1901.00517

Authors: K. Åkesson, H. Flordal, M. Fabian

Institution: Chalmers University of Technology

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2035939251

FWCI: 3.542

Cites: 16

Cited by: 82

Related to: 10