demonstration

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems

Authors:

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

Pages 265 - 266

https://doi.org/10.1145/3178126.3187006

Published: 11 April 2018 Publication History

Get Access

Abstract

This demo abstract presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a nonlinear system. The functionality and usability of ROCS will be illustrated through examples.

References

[1]

Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT press.

Digital Library

Google Scholar

[2]

Yinan Li and Jun Liu. 2017. Invariance Control Synthesis for Switched Nonlinear Systems: An Interval Analysis Approach. IEEE Trans. Automat. Contr. (2017).

Google Scholar

Cited By

View all

Anand ANayak SSchmuck A(2023)Synthesizing Permissive Winning Strategy Templates for Parity GamesComputer Aided Verification10.1007/978-3-031-37706-8_22(436-458)Online publication date: 17-Jul-2023
https://doi.org/10.1007/978-3-031-37706-8_22
Zhao YLi YSentis LTopcu ULiu J(2022)Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environmentsThe International Journal of Robotics Research10.1177/0278364922107771441:8(812-847)Online publication date: 25-May-2022
https://doi.org/10.1177/02783649221077714
Tajvar PMeyer PTumova J(2021)Closed-loop incremental stability for efficient symbolic control of non-linear systemsIFAC-PapersOnLine10.1016/j.ifacol.2021.08.48554:5(121-126)Online publication date: 2021
https://doi.org/10.1016/j.ifacol.2021.08.485
Show More Cited By

Index Terms

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems
1. Computing methodologies
  1. Artificial intelligence
    1. Control methods
      1. Computational control theory
2. Software and its engineering
  1. Software notations and tools
    1. Software libraries and repositories

Recommendations

ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems
HSCC '18: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

This paper presents ROCS, an algorithmic control synthesis tool for nonlinear dynamical systems. Different from other formal control synthesis tools, it guarantees to generate a control strategy with respect to a robustly realizable specification for a ...
ROCS: A Tool for Rapid Overload Control Simulation

With an increasing number of wireless users and applications, overload control mechanisms are becoming ever more crucial in control elements where heavy congestion can prevent transmission of services on the network. During mass communication events and ...
Controller Design for a Class of Uncertain Systems with Guaranteed Performance

The tracking control problem for a class of multi-input multi-output nonlinear systems with unknown system dynamics and disturbances is considered. An approximation-free output feedback controller based on feedback linearization is proposed. It ...

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

Qualifiers

Demonstration
Research
Refereed limited

Funding Sources

Canada Research Chairs (CRC) Program
Natural Sciences and Engineering Council (NSERC) of Canada

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

9
Total Citations
View Citations
70
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

Anand ANayak SSchmuck A(2023)Synthesizing Permissive Winning Strategy Templates for Parity GamesComputer Aided Verification10.1007/978-3-031-37706-8_22(436-458)Online publication date: 17-Jul-2023
https://doi.org/10.1007/978-3-031-37706-8_22
Zhao YLi YSentis LTopcu ULiu J(2022)Reactive task and motion planning for robust whole-body dynamic locomotion in constrained environmentsThe International Journal of Robotics Research10.1177/0278364922107771441:8(812-847)Online publication date: 25-May-2022
https://doi.org/10.1177/02783649221077714
Tajvar PMeyer PTumova J(2021)Closed-loop incremental stability for efficient symbolic control of non-linear systemsIFAC-PapersOnLine10.1016/j.ifacol.2021.08.48554:5(121-126)Online publication date: 2021
https://doi.org/10.1016/j.ifacol.2021.08.485
Li YSun ZLiu J(2021)ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical SystemsIFAC-PapersOnLine10.1016/j.ifacol.2021.08.47054:5(31-36)Online publication date: 2021
https://doi.org/10.1016/j.ifacol.2021.08.470
Liu J(2021)Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and ControllabilityFormal Modeling and Analysis of Timed Systems10.1007/978-3-030-85037-1_5(67-83)Online publication date: 16-Aug-2021
https://doi.org/10.1007/978-3-030-85037-1_5
Samuel SMallik KSchmuck ANeider D(2020)Resilient Abstraction-Based Controller Design2020 59th IEEE Conference on Decision and Control (CDC)10.1109/CDC42340.2020.9303932(2123-2129)Online publication date: 14-Dec-2020
https://doi.org/10.1109/CDC42340.2020.9303932
Xue BWang QZhan NFränzle MOzay NPrabhakar P(2019)Robust invariant sets generation for state-constrained perturbed polynomial systemsProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311810(128-137)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302504.3311810
Hsu KMajumdar RMallik KSchmuck A(2019)Lazy Abstraction-Based Controller SynthesisAutomated Technology for Verification and Analysis10.1007/978-3-030-31784-3_2(23-47)Online publication date: 21-Oct-2019
https://doi.org/10.1007/978-3-030-31784-3_2
Li YLiu J(2018)Robustly Complete Reach-and-Stay Control Synthesis for Switched Systems via Interval Analysis2018 Annual American Control Conference (ACC)10.23919/ACC.2018.8431863(2350-2355)Online publication date: Jun-2018
https://doi.org/10.23919/ACC.2018.8431863

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

Index Terms

Recommendations