Browsing by Author Moor, Thomas
Showing results 8 to 11 of 11
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