Towards formal ASM semantics of timed control systems for industrial CPS.
Dmitrii DrozdovSandeep PatilVictor DubininValeriy VyatkinPublished in: ETFA (2019)
Keyphrases
- control system
- machine processable
- industrial automation
- formal language
- model theoretic
- operational semantics
- industrial applications
- active shape model
- highly expressive
- formal semantics
- fault detection and isolation
- petri net
- industrial processes
- specification languages
- real time
- industrial environment
- formal languages
- conceptual graphs
- formal specification
- semantic representation
- semantic information
- deductive databases
- precisely defined
- formal model
- shape model