poster

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Authors:

Lucas Neves Egidio,

Satya Prakash Nayak,

Matteo Della Rossa,

Anne-Kathrin Schmuck,

Raphaël JungersAuthors Info & Claims

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

Article No.: 27, Pages 1 - 2

https://doi.org/10.1145/3575870.3589553

Published: 09 May 2023 Publication History

Get Access

Abstract

This poster presents a new technique to synthesize a reactive hybrid controller which actuates a non-linear control system in response to external logical inputs to fulfill an omega-regular specification over a finite set of logical input and observation predicates.

References

[1]

Ashwani Anand, Satya Prakash Nayak, and Anne-Kathrin Schmuck. 2023. Synthesizing Permissive Winning Strategy Templates for Parity Games. Technical Report. https://www.mpi-sws.org/tr/2023-001.pdf

Google Scholar

[2]

Petter Nilsson and Aaron D. Ames. 2018. Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control. In CDC’18.

Google Scholar

[3]

A. Pnueli and R. Rosner. 1989. On the Synthesis of a Reactive Module. In POPL’89.

Google Scholar

[4]

Ricardo G Sanfelice. 2020. Hybrid feedback control. Princeton University Press.

Google Scholar

[5]

Paulo Tabuada. 2009. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media.

Digital Library

Google Scholar

Recommendations

A hybrid control system design and implementation
CCDC'09: Proceedings of the 21st annual international conference on Chinese control and decision conference

This paper implements a hybrid control method combines with Lyapunov switching strategy for a heating system, which is designed both theoretically and practically. Optimal controllers and Proportional-Integral-Derivative (PID) controllers are combined ...
Towards 'plug and control': self-tuning temperature controller for PLC

Software PID controllers have become a standard component of automation with PLCs programmable logic controllers and work together with classical sequential function charts in the same processing units. However, traditional methods for the computer-...
Synthesis from Infinite-State Generalized Reactivity(1) Specifications
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
Abstract
Reactive synthesis is used to automatically generate circuits or programs from temporal logic specifications. In propositional reactive synthesis, generalized reactivity(1) (GR(1)) has proven to be a good compromise between expressiveness and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control

May 2023

239 pages

ISBN:9798400700330

DOI:10.1145/3575870

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: 09 May 2023

Check for updates

Qualifiers

Poster
Research
Refereed limited

Funding Sources

Conference

HSCC '23

Sponsor:

SIGBED

HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control

May 9 - 12, 2023

TX, San Antonio, USA

Acceptance Rates

Overall Acceptance Rate 153 of 373 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
40
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)3

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

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

HTML Format

View this article in HTML Format.

HTML Format

Abstract

References

Recommendations

A hybrid control system design and implementation

Towards 'plug and control': self-tuning temperature controller for PLC

Synthesis from Infinite-State Generalized Reactivity(1) Specifications

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Funding Sources

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

HTML Format

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations