A visual logic specification of flexible manufacturing systems.
H. Lewis ChauK. Gary ChanPublished in: SEKE (1994)
Keyphrases
- flexible manufacturing systems
- manufacturing systems
- dynamic scheduling
- real time control
- asynchronous circuits
- visual information
- linear temporal logic
- high level
- state machine
- transition systems
- visual features
- predicate logic
- formal language
- knowledge base
- operational semantics
- formal methods
- visual perception
- formal specification
- classical logic
- automated reasoning
- formal semantics
- visual cues
- proof theory
- logic programming
- database