Browsing by Author Davoren, Jennifer M.
Showing results 4 to 7 of 7
Robust controller synthesis for hybrid systems using modal logic
Author(s) | Moor, Thomas; Davoren, Jennifer M. |
---|---|
Type | Book chapter |
Date Published | 2001 |
Date Created | - |
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 |
Topologies, Continuity and Bisimulations
Author(s) | Davoren, Jennifer M. |
---|---|
Type | Journal article |
Date Published | 1999 |
Date Created | - |
Using Modal Logics for the Formal Analysis and Synthesis of Hybrid Control Systems
Author(s) | Davoren, Jennifer M. |
---|---|
Type | Conference paper |
Date Published | 2000 |
Date Created | March 2 2000 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator