DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis
DCSYNTH is a tool for the synthesis of controllers from safety and bounded liveness requirements given in interval temporal logic QDDC. It investigates the role of soft requirements (with priorities) in obtaining high quality controllers. A QDDC formula specifies past time properties. In DCSYNTH syn...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Wakankar, Amol Pandya, Paritosh K Matteplackel, Raj Mohan |
| description | DCSYNTH is a tool for the synthesis of controllers from safety and bounded
liveness requirements given in interval temporal logic QDDC. It investigates
the role of soft requirements (with priorities) in obtaining high quality
controllers. A QDDC formula specifies past time properties. In DCSYNTH
synthesis, hard requirements must be invariantly satisfied whereas soft
requirements may be satisfied "as much as possible" in a best effort manner by
the controller. Soft requirements provide an invaluable ability to guide the
controller synthesis. In the paper, using DCSYNTH, we show the application of
soft requirements in obtaining robust controllers with various specifiable
notions of robustness. We also show the use of soft requirements to specify and
synthesize efficient runtime enforcement shields which can correct burst
errors. Finally, we discuss the use of soft requirements in improving the
latency of controlled system. |
| doi_str_mv | 10.48550/arxiv.1711.01823 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_1711_01823</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1711_01823</sourcerecordid><originalsourceid>FETCH-LOGICAL-a673-fb45ae8bc2be2ad1b3ae52386e993636e96e32e67bd0051858733ab4a5e6fb9c3</originalsourceid><addsrcrecordid>eNpFj7FOwzAUAL0woMIHMOEfSIjzYsdhQwFapAqkJgtT9By_KJbSBBy30L-nLUhMN5x00jF2I5I401Imd-i_3T4WuRBxInQKl8w-ltX7a72658uds2T5hrANbk-8Ooyhp9nN_MuFnldTF47yc-c8bWkMM-8mzzeT2c2Bl9MY_DQM5DmOlle9o8H-F67YRYfDTNd_XLD6-akuV9H6bflSPqwjVDlEnckkkjZtaihFKwwgyRS0oqIABUcogpRUbmySSKGlzgHQZChJdaZoYcFuf7PnzebDuy36Q3Pabc678AMd4lEF</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis</title><source>arXiv.org</source><creator>Wakankar, Amol ; Pandya, Paritosh K ; Matteplackel, Raj Mohan</creator><creatorcontrib>Wakankar, Amol ; Pandya, Paritosh K ; Matteplackel, Raj Mohan</creatorcontrib><description>DCSYNTH is a tool for the synthesis of controllers from safety and bounded
liveness requirements given in interval temporal logic QDDC. It investigates
the role of soft requirements (with priorities) in obtaining high quality
controllers. A QDDC formula specifies past time properties. In DCSYNTH
synthesis, hard requirements must be invariantly satisfied whereas soft
requirements may be satisfied "as much as possible" in a best effort manner by
the controller. Soft requirements provide an invaluable ability to guide the
controller synthesis. In the paper, using DCSYNTH, we show the application of
soft requirements in obtaining robust controllers with various specifiable
notions of robustness. We also show the use of soft requirements to specify and
synthesize efficient runtime enforcement shields which can correct burst
errors. Finally, we discuss the use of soft requirements in improving the
latency of controlled system.</description><identifier>DOI: 10.48550/arxiv.1711.01823</identifier><language>eng</language><subject>Computer Science - Logic in Computer Science</subject><creationdate>2017-11</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/1711.01823$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.1711.01823$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Wakankar, Amol</creatorcontrib><creatorcontrib>Pandya, Paritosh K</creatorcontrib><creatorcontrib>Matteplackel, Raj Mohan</creatorcontrib><title>DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis</title><description>DCSYNTH is a tool for the synthesis of controllers from safety and bounded
liveness requirements given in interval temporal logic QDDC. It investigates
the role of soft requirements (with priorities) in obtaining high quality
controllers. A QDDC formula specifies past time properties. In DCSYNTH
synthesis, hard requirements must be invariantly satisfied whereas soft
requirements may be satisfied "as much as possible" in a best effort manner by
the controller. Soft requirements provide an invaluable ability to guide the
controller synthesis. In the paper, using DCSYNTH, we show the application of
soft requirements in obtaining robust controllers with various specifiable
notions of robustness. We also show the use of soft requirements to specify and
synthesize efficient runtime enforcement shields which can correct burst
errors. Finally, we discuss the use of soft requirements in improving the
latency of controlled system.</description><subject>Computer Science - Logic in Computer Science</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpFj7FOwzAUAL0woMIHMOEfSIjzYsdhQwFapAqkJgtT9By_KJbSBBy30L-nLUhMN5x00jF2I5I401Imd-i_3T4WuRBxInQKl8w-ltX7a72658uds2T5hrANbk-8Ooyhp9nN_MuFnldTF47yc-c8bWkMM-8mzzeT2c2Bl9MY_DQM5DmOlle9o8H-F67YRYfDTNd_XLD6-akuV9H6bflSPqwjVDlEnckkkjZtaihFKwwgyRS0oqIABUcogpRUbmySSKGlzgHQZChJdaZoYcFuf7PnzebDuy36Q3Pabc678AMd4lEF</recordid><startdate>20171106</startdate><enddate>20171106</enddate><creator>Wakankar, Amol</creator><creator>Pandya, Paritosh K</creator><creator>Matteplackel, Raj Mohan</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20171106</creationdate><title>DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis</title><author>Wakankar, Amol ; Pandya, Paritosh K ; Matteplackel, Raj Mohan</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a673-fb45ae8bc2be2ad1b3ae52386e993636e96e32e67bd0051858733ab4a5e6fb9c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Computer Science - Logic in Computer Science</topic><toplevel>online_resources</toplevel><creatorcontrib>Wakankar, Amol</creatorcontrib><creatorcontrib>Pandya, Paritosh K</creatorcontrib><creatorcontrib>Matteplackel, Raj Mohan</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Wakankar, Amol</au><au>Pandya, Paritosh K</au><au>Matteplackel, Raj Mohan</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis</atitle><date>2017-11-06</date><risdate>2017</risdate><abstract>DCSYNTH is a tool for the synthesis of controllers from safety and bounded
liveness requirements given in interval temporal logic QDDC. It investigates
the role of soft requirements (with priorities) in obtaining high quality
controllers. A QDDC formula specifies past time properties. In DCSYNTH
synthesis, hard requirements must be invariantly satisfied whereas soft
requirements may be satisfied "as much as possible" in a best effort manner by
the controller. Soft requirements provide an invaluable ability to guide the
controller synthesis. In the paper, using DCSYNTH, we show the application of
soft requirements in obtaining robust controllers with various specifiable
notions of robustness. We also show the use of soft requirements to specify and
synthesize efficient runtime enforcement shields which can correct burst
errors. Finally, we discuss the use of soft requirements in improving the
latency of controlled system.</abstract><doi>10.48550/arxiv.1711.01823</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.1711.01823 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_1711_01823 |
| source | arXiv.org |
| subjects | Computer Science - Logic in Computer Science |
| title | DCSYNTH: Guided Reactive Synthesis with Soft Requirements for Robust Controller and Shield Synthesis |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-06T03%3A30%3A33IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=DCSYNTH:%20Guided%20Reactive%20Synthesis%20with%20Soft%20Requirements%20for%20Robust%20Controller%20and%20Shield%20Synthesis&rft.au=Wakankar,%20Amol&rft.date=2017-11-06&rft_id=info:doi/10.48550/arxiv.1711.01823&rft_dat=%3Carxiv_GOX%3E1711_01823%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |