Towards Formal Monitoring of Workpieces in Agile Manufacturing.
Mohammad AzangooJan Olaf BlechUdayanto Dwi AtmojoPublished in: ICIT (2020)
Keyphrases
- monitoring system
- formal methods
- manufacturing industry
- formal model
- real time
- supply chain management
- quality control
- manufacturing systems
- project management
- concurrent engineering
- software development
- formal language
- formal representation
- database
- manufacturing processes
- agile software development
- condition monitoring
- early warning
- requirements engineering
- production planning
- formal specification
- control system
- neural network