𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press Fourth International Conference on Computer Integrated Manufacturing and Automation Technology - Troy, NY, USA (10-12 Oct. 1994)] Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology - Algebraic synthesis and verification of discrete supervisory controllers for forbidden path specifications

✍ Scribed by Hanisch, H.-M.; Kowalewski, S.

Book ID: 120883637
Publisher: IEEE Comput. Soc. Press
Year: 1994
Tongue: English
Weight: 508 KB
Category: Article
ISBN-13: 9780818665103
DOI: 10.1109/CIMAT.1994.389079

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press Fourth Internat

[IEEE Comput. Soc. Press Fourth International Conference on Computer Integrated Manufacturing and Automation Technology - Troy, NY, USA (10-12 Oct. 1994)] Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology - Automatic generation of Petri net models from logic control specifications

✍ Venkatesh, K.; MengChu Zhou, ; Caudill, R. 📂 Article 📅 1994 🏛 IEEE Comput. Soc. Press 🌐 English ⚖ 529 KB

[IEEE 2006 International Conference on C

[IEEE 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - Sydney, Australia (2006.11.28-2006.12.1)] 2006 International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce (CIMCA'06) - The Study of Key Technologies in Manufacturing Management-Control Integration

✍ Liu, Zhaoshu; Li, Gangyan; Zhu, Lili 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 271 KB