Track 4 – Automated Manufacturing Systems

Track Program Committee

  • …….
  • …….

Track co-chairs

Jorge Júlvez
University of Zaragoza, Spain
julvez@unizar.es
Michael Weyrich
University of Stuttgart, Germany
michael.weyrich@ias.uni-stuttgart.de

Focus: This track focuses on the use of techniques and technologies for the modeling, analysis, intelligent control, and enterprise integration of automated manufacturing systems.

Topics:

  • Synthesis and Analysis Techniques; Performance Evaluation and reliability
  • Scheduling, Resource allocation and Optimization
  • Discrete Event Systems in Manufacturing Systems
  • Formal Modeling and Analysis of Manufacturing Systems
  • Fault Diagnosis, State-Estimation, and Identification in formal models
  • Networked Control of Manufacturing Systems
  • Planning and Distributed Control of Industrial Systems
  • Formal Methods and Verification Tools
  • Security Analysis and Privacy Enforcement
  • Discrete and Continuous Industrial Automation Systems
  • Automated Manufacturing Systems and Enterprise Integration
  • Application of Service-Oriented Technologies
  • Test Cases, Benchmarks and Tools
  • Applications and Experiences in Practice
  • Recent Developments in Standardization, intelligent Cyber-physical Production Systems




Web Analytics