Exceptions Handling in Hierarchical Petri Net Based Specification for Logic Controllers.
Michal DoligalskiMarian AdamskiPublished in: ICSEng (2011)
Keyphrases
- asynchronous circuits
- transition systems
- high level
- specification languages
- modal logic
- state machine
- reinforcement learning
- hierarchical structure
- linear temporal logic
- automated reasoning
- logic programming
- temporal logic
- classical logic
- formal language
- digital circuits
- sound and complete axiomatization
- databases
- controller design
- set theory
- formal verification
- active rules
- formal specification
- control strategy
- coarse to fine
- multiscale
- neural network