Browsing by Author Moor, Thomas
Showing results 3 to 11 of 11
Discrete Supervisory Control of Hybrid Systems Based on <I> l </I>-Complete Approximations
Author(s) | Moor, Thomas; Raisch, J.; O'Young, Siu |
---|---|
Type | Journal article |
Date Published | 2002 |
Date Created | - |
Hierarchical strategies for hybrid process control problems
Author(s) | Raisch, J.; Itigen, A.; Moor, Thomas |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | September 4 2001 |
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
Author(s) | Davoren, Jennifer M.; Moor, Thomas; Nerode, Anil |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | March 25 2002 |
Modular supervisory control of a class of hybrid systems in a behavioural framework
Author(s) | Moor, Thomas; Davoren, Jennifer M.; Raisch, J. |
---|---|
Type | Conference paper |
Date Published | 2001 |
Date Created | September 4 2001 |
Non-deterministic temporal logics for general flow systems
Author(s) | Davoren, Jen; Coulthard, Vaughan; Markey, Nicholas, et al |
---|---|
Type | Book chapter |
Date Published | 2004 |
Date Created | - |
On two-sided approximate model-checking: problem formulation and solution via finite topologies
Author(s) | Davoren, Jen; Moor, Thomas; Gore, Rajeev, et al |
---|---|
Type | Book chapter |
Date Published | 2004 |
Date Created | - |
Robust controller synthesis for hybrid systems using modal logic
Author(s) | Moor, Thomas; Davoren, Jennifer M. |
---|---|
Type | Book chapter |
Date Published | 2001 |
Date Created | - |
Robust Hybrid Control from a Behavioural Perspective
Author(s) | Moor, Thomas; Davoren, Jen; Anderson, Brian |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | December 10 2002 |
Strategic Refinements in Abstraction Based Supervisory Control of Hybrid Systems
Author(s) | Moor, Thomas; Davoren, Jennifer M.; Raisch, J. |
---|---|
Type | Conference paper |
Date Published | 2002 |
Date Created | October 2 2002 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator