Formal Specification and Development of Control System Input/Output.
Jonathan JackyPublished in: Z User Workshop (1992)
Keyphrases
- input output
- formal specification
- control system
- object oriented design
- internal states
- specification languages
- model checking
- fuzzy controller
- noise cancellation
- data envelopment analysis
- fuzzy neural network
- process algebra
- fuzzy logic controller
- formal methods
- fuzzy model
- specification language
- fuzzy logic
- closed loop
- concurrent systems
- database
- ibm zenterprise
- fuzzy control
- software engineering
- artificial intelligence