Formal Methods in Manufacturing
Latest Publications

TOTAL DOCUMENTS

23
(FIVE YEARS 0)

H-INDEX

0
(FIVE YEARS 0)

Published By CRC Press

9781315216140
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fault Diagnosis in Petri Nets

2018 ◽  
pp. 627-652
Author(s):  
Elvia Ruiz-Beltrán ◽  
Antonio Ramirez-Treviño ◽  
J.L. Orozco-Mora
Keyword(s):  
Fault Diagnosis ◽  
Petri Nets

Lean Buffer Design in Production Systems

2018 ◽  
pp. 477-502
Author(s):  
Jingshan Li ◽  
Semyon M. Meerkov ◽  
Xiang Zhong
Keyword(s):  
Production Systems ◽  
Buffer Design

Supervisory Control of Manufacturing Systems Using Extended Finite Automata

2018 ◽  
pp. 295-314
Author(s):  
Martin Fabian ◽  
Zhennan Fei ◽  
Sajed Miremadi ◽  
Bengt Lennartson ◽  
Knut Åkesson
Keyword(s):  
Supervisory Control ◽  
Manufacturing Systems ◽  
Finite Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document