Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Malik, Petra - School of Mathematical and Computing Sciences, Victoria University of Wellington
Incremental System Veri cation and Synthesis of Minimally Restrictive Behaviours
From Supervisory Control to Nonblocking Controllers
IMPLEMENTATION CONSIDERATIONS IN SUPERVISORY CONTROL
Generating Controllers from Discrete-Event Models
