poster

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach

Authors:

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Pages 275 - 276

https://doi.org/10.1145/3178126.3187000

Published: 11 April 2018 Publication History

Get Access

Abstract

No abstract available.

References

[1]

P. Tabuada, Verification and control of hybrid systems. Springer, 2009.

Digital Library

Google Scholar

[2]

O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science, 1995, pp. 229--242.

Google Scholar

[3]

Y. Tazaki and J. I. Imura, "Bisimilar finite abstractions of interconnected systems," in Proceedings of the 11th International Conference on Hybrid Systems: Computation and Control, 2008, pp. 514--527.

Digital Library

Google Scholar

[4]

G. Pola, P. Pepe, and M. D.D. Benedetto, "Symbolic models for networks of control systems," IEEE Transactions on Automatic Control, vol. 61, no. 11, pp. 3663--3668, 2016.

Crossref

Google Scholar

[5]

K. Mallik, A.-K. Schmuck, S. Soudjani, and R. Majumdar, "Compositional synthesis of finite state abstractions," CoRR, vol. abs/1612.08515, 2016. {Online}. Available: http://arxiv.org/abs/1612.08515

Google Scholar

[6]

K. C. Das and P. Kumar, "Some new bounds on the spectral radius of graphs," Discrete Mathematics, vol. 281, no. 1--3, pp. 149 - 161, 2004. {Online}. Available: http://www.sciencedirect.com/science/article/pii/S0012365X03006514

Google Scholar

[7]

M. Zamani and M. Arcak, "Compositional abstraction for networks of control systems: A dissipativity approach," IEEE Transactions on Control of Network Systems, 2017.

Google Scholar

[8]

M. Arcak, C. Meissen, and A. Packard, Networks of dissipative systems, ser. SpringerBriefs in Electrical and Computer Engineering. Springer International Publishing, 2016.

Digital Library

Google Scholar

[9]

A. Swikir, A. Girard, and M. Zamani, "From dissipativity theory to compositional synthesis of symbolic models," in Proceedings of the 4th Indian Control Conference (arXiv: 1710.05585), 2018.

Google Scholar

[10]

M. Rungger and M. Zamani, "SCOTS: A tool for the synthesis of symbolic sontrollers," in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016, pp. 99--104. {Online}. Available:

Digital Library

Google Scholar

Cited By

View all

Khatib MZamani MOzay NPrabhakar P(2019)Verification and synthesis of interconnected embedded control systems under timing contractsProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311799(208-217)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302504.3311799

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach
1. Computing methodologies
  1. Artificial intelligence

Recommendations

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach
Abstract
In this paper, we introduce a compositional scheme for the construction of finite abstractions (a.k.a. symbolic models) of interconnected discrete-time control systems. The compositional scheme is based on small-gain type reasoning. In ...
Compositional Abstractions of Hybrid Control Systems

Abstraction is a natural way to hierarchically decompose the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts an abstracted system while preserving the properties of interest. Abstractions of ...
Compositional specification and verification of distributed systems

We present a method for specification and verification of distributed systems that communicate via asynchronous message passing. The method handles both safety and liveness properties. It is compositional, i.e., a specification of a composite system can ...

Comments

Information & Contributors

Information

Published In

HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

April 2018

296 pages

ISBN:9781450356428

DOI:10.1145/3178126

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 11 April 2018

Check for updates

Author Tags

Qualifiers

Poster
Research
Refereed limited

Conference

HSCC '18

Sponsor:

SIGBED

HSCC '18: 21st International Conference on Hybrid Systems: Computation and Control

April 11 - 13, 2018

Porto, Portugal

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
80
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Khatib MZamani MOzay NPrabhakar P(2019)Verification and synthesis of interconnected embedded control systems under timing contractsProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311799(208-217)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302504.3311799

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach

Compositional Abstractions of Hybrid Control Systems

Compositional specification and verification of distributed systems

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations