Verification of ECA rule based management and control systems.
Jing ZhangJames R. MoyneDawn M. TilburyPublished in: CASE (2008)
Keyphrases
- control system
- management system
- data processing
- event condition action
- information management
- real time
- data driven
- decision making
- fuzzy logic
- data management
- expert systems
- model checking
- information systems
- control law
- information technology
- fault diagnosis
- rule based systems
- management tools
- asynchronous circuits
- verification method
- eca rules
- artificial intelligence