Hybrid Control Loops, A/D Maps, and Dynamic Specifications
| dc.contributor.author | Davoren, Jennifer M. | |
| dc.contributor.author | Moor, Thomas | |
| dc.contributor.author | Nerode, Anil | |
| dc.coverage.spatial | Stanford USA | |
| dc.date.accessioned | 2015-12-13T23:22:54Z | |
| dc.date.available | 2015-12-13T23:22:54Z | |
| dc.date.created | March 25 2002 | |
| dc.date.issued | 2002 | |
| dc.date.updated | 2015-12-12T09:12:59Z | |
| dc.identifier.isbn | 354043321X | |
| dc.identifier.uri | http://hdl.handle.net/1885/91657 | |
| dc.publisher | Springer | |
| dc.relation.ispartofseries | International Workshop on Hybrid Systems: Computation and Control 2002 | |
| dc.source | Proceedings of the Fifth International Workshop on Hybrid Systems: Computation and Control 2002 | |
| dc.title | Hybrid Control Loops, A/D Maps, and Dynamic Specifications | |
| dc.type | Conference paper | |
| local.bibliographicCitation.lastpage | 163 | |
| local.bibliographicCitation.startpage | 149 | |
| local.contributor.affiliation | Davoren, Jennifer M., College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Moor, Thomas, College of Engineering and Computer Science, ANU | |
| local.contributor.affiliation | Nerode, Anil, Cornell University | |
| local.contributor.authoruid | Davoren, Jennifer M., u9911684 | |
| local.contributor.authoruid | Moor, Thomas, u4000788 | |
| local.description.notes | Imported from ARIES | |
| local.description.refereed | Yes | |
| local.identifier.absfor | 091302 - Automation and Control Engineering | |
| local.identifier.ariespublication | MigratedxPub22479 | |
| local.type.status | Published Version |