Publications

Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

AuthID
P-007-YBZ

Author(s)

Chatterjee, K

Prabhu, VS

Document Type

Proceedings Paper

Year published

2011

Published

in HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Pages: 221-230

Conference

14Th Acm International Conference on Hybrid Systems: Computation and Control, Hscc 2011, Date: 12 April 2011 through 14 April 2011, Location: Chicago, IL, Sponsors: ACM SIGBED

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/1967701.1967734

Scopus: 2-s2.0-79955986985

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

Useful Links

Get Help

Federated Authentication (Click on the image)

Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives

Useful Links

Get Help