The Australian National University
InfoEng Home | CECS Home | ANU Home | Search ANU | HORUS | Staff Home

 reports

Annual reports:

| 1999 | 2000 | 2001 | 2002 | 2003 | 2004 |

Technical reports:

2002  

Robust hybrid control from a behavioural perspective

Moor, T., Davoren, J. M., Anderson, B.D.O.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2002.
 
Restricted reachability operators: safe approximations in the presence of disturbances
Smith, M.A., Moor, T., Anderson, B.D.O.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2002.
 
Strategic refinements in abstraction based supervisory control of hybrid systems
Moor, T., Davoren, J.M., Raisch, J.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2002.
 
Abstraction based supervisory controller synthesis for high order monotone continuous systems
Moor, T., Raisch, J.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2002.
 
2001

Efficient discrete abstractions of continuous dynamics in a hierarchical hybrid control architecture

Moor, T., Raisch, J., Davoren, J.M.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2001.
 
2000  
Logic-based design and synthesis of controllers for hybrid systems
Davoren, J.M., Moor, T.
Technical Report, Department of Systems Engineering, RSISE, Australian National University, 2000.