2 Artículos

Formal Verification for Analysis and Design of Logic Controllers for Reconfigurable Machining Systems

Solicitud

usuarios registrados

Kalita, D. Khargonekar, P. P. Pág. 463 - 474

Revista: IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION Formato: Impreso

Tabla de contenido: Vol: 18 Num: 4 Par: 0 Año: 2002

Modular Logic Controllers for Machining Systems: Formal Representation and Performance Analysis using Petri Nets

Solicitud

usuarios registrados

Park, E; Tilbury, D M; Khargonekar, P P Pág. 1046 - 1061

Revista: IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION Formato: Impreso

Tabla de contenido: Vol: 15 Num: 6 Par: 0 Año: 1999

« Anterior Página: 1 de 1 Siguiente »