Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems

DOI10.1080/00207540500539776zbMath1122.90340OpenAlexW2025966908MaRDI QIDQ3439872

Zhibin Jiang, Lin Li

Publication date: 18 May 2007

Published in: International Journal of Production Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207540500539776

zbMATH Keywords

schedulingtimed automatasupervisory control theoryvirtual production systems (VPSs)autonomy and coordination

Mathematics Subject Classification ID

Deterministic scheduling theory in operations research (90B35) Production models (90B30) Application models in control theory (93C95)

Uses Software

• Desco
• Uppaal

Cites Work

• A theory of timed automata
• Supervisory control of timed discrete-event systems
• Adaptive production scheduling of virtual production systems using object-oriented Petri nets with changeable structure

This page was built for publication: Formal design and analysis of a hybrid supervisory control structure for Virtual Production Systems