Logical specification and uniform synthesis of robust controllers.

Paritosh K. Pandya Amol Wakankar

Published in: MEMOCODE (2019)

Keyphrases

parameter tuning
computationally efficient
real world
control system
databases
information systems
case study
three dimensional
high level
relational databases
specification language