Quotient-based Control Synthesis for Non-Deterministic Plants with Mu-Calculus Specifications.

Samik Basu Ratnesh Kumar

Published in: CDC (2006)

Keyphrases

control system
control theory
development environment
database
case study
high level
mobile robot
black box
texture synthesis
functional requirements
asynchronous circuits