Robust Controller Synthesis for Hybrid Systems Using Modal Logic (2001)
Cached
Download Links
- [arp.anu.edu.au]
- [arp.anu.edu.au]
- [www.ee.unimelb.edu.au]
- DBLP
Other Repositories/Bibliography
by
T. Moor
,
J.M. Davoren
| Venue: | Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS |
| Citations: | 17 - 2 self |
Document Versions
| Robust Controller Synthesis for Hybrid Systems Using Modal Logic –T. Moor, J.M. Davoren — 2001 — Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS |
| Robust Controller Synthesis for Hybrid Systems Using Modal Logic –T. Moor, J.M. Davoren |
| Robust controller synthesis for hybrid systems using modal logic –T. Moor, J. M. Davoren — 2001 — Hybrid Systems: Computation and Control (HSCC’01), volume 2034 of LNCS |
