Analyzing a Controller of a Power Distribution Unit Using Formal Methods.
Jan Friso GrooteAmmar OsaiweranJacco H. WesseliusPublished in: ICST (2012)
Keyphrases
- formal methods
- power distribution
- transmission line
- formal analysis
- knowledge based systems
- process algebra
- formal specification
- control system
- safety critical
- real time
- artificial intelligence
- software engineering
- model checking
- formal specification language
- databases
- fuzzy logic
- feature extraction
- image processing
- information systems
- neural network
- development lifecycle