Robust control for signal temporal logic specifications using discrete average space robustness (Q1737745): Difference between revisions

@@ Property / DOI @@
-.1016/j.automatica.2018.12.022
@@ Property / DOI: 10.1016/j.automatica.2018.12.022 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+YALMIP
@@ Property / describes a project that uses: YALMIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+BluSTL
@@ Property / describes a project that uses: BluSTL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963199590
@@ Property / OpenAlex ID: W2963199590 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07019
@@ Property / arXiv ID: 1607.07019 / rank @@
+Normal rank
@@ Property / cites work @@
+Time robustness in MTL and expressivity in hybrid system falsification
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Temporal logic motion planning for dynamic robots
@@ Property / cites work: Temporal logic motion planning for dynamic robots / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+From MITL to Timed Automata
@@ Property / cites work: From MITL to Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Reactive synthesis from signal temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Temporal Logic as Filtering
@@ Property / cites work: Temporal Logic as Filtering / rank @@
+Normal rank
@@ Property / cites work @@
+SMC
@@ Property / cites work: SMC / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Linear Temporal Logic
@@ Property / cites work: Robust Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128607420
@@ Property / Wikidata QID: Q128607420 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AUTOMATICA.2018.12.022
@@ Property / DOI: 10.1016/J.AUTOMATICA.2018.12.022 / rank @@
+Normal rank