Comparing Asynchronous l-complete Approximations and Quotient Based Abstractions

Schmuck, Anne-Kathrin; Tabuada, Paulo; Raisch, Jörg

doi:10.1109/CDC.2015.7403294

Local TagsRelease HistoryDetailsSummary

Comparing Asynchronous l-complete Approximations and Quotient Based Abstractions

Schmuck, A.-K., Tabuada, P., & Raisch, J. (2015). Comparing Asynchronous l-complete Approximations and Quotient Based Abstractions. In 54th IEEE Conference on Decision and Control (CDC) (pp. 6823-6829).

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-002A-5FEE-8 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-002C-52DE-5

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Schmuck, Anne-Kathrin¹, Author
Tabuada, Paulo², Author
Raisch, Jörg^{3, 4}, Author

Affiliations:
1Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292
2UCLA Electrical Engineering Department, Los Angeles, USA, ou_persistent22
3Systems and Control Theory, Max Planck Institute for Dynamics of Complex Technical Systems, Max Planck Society, ou_1738154
4TU Berlin, ou_persistent22

Content

show

Details

show

hide

Language(s):

Dates: Date issued: 2015

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Peer

Identifiers: DOI: 10.1109/CDC.2015.7403294

Degree: -

Event

show

hide

Title: 54th IEEE Conference on Decision and Control (CDC)

Place of Event: Osaka, Japan

Start-/End Date: 2015-12-15 - 2015-12-18

Legal Case

show

Project information

show

Source 1

show

hide

Title: 54th IEEE Conference on Decision and Control (CDC)

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 6823 - 6829 Identifier: ISBN: 978-1-4799-7884-7