A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.
Masaaki MizunoDavid A. SchmidtPublished in: Formal Aspects Comput. (1992)
Keyphrases
- control algorithm
- denotational semantics
- programming language
- control system
- control method
- control strategy
- adaptive fuzzy
- control law
- temperature control
- operational semantics
- design procedure
- wheeled mobile robot
- fuzzy controller
- pid control
- query language
- databases
- matlab simulink
- single neuron
- fuzzy logic controller
- theorem prover
- mathematical model
- management system
- computational fluid dynamics
- query processing