Added cdc2018 publication, removed example

content/publication/cdc2018/index.md

@@ -0,0 +1,78 @@
+---
+title: "Control Synthesis for Partial Differential Equations from Spatio-Temporal Specifications"
+
+# Authors
+# If you created a profile for a user (e.g. the default `admin` user), write the username (folder name) here 
+# and it will be replaced with their full name and linked to their profile.
+authors:
+- admin
+- Harold Park
+- Calin Belta
+
+# Author notes (optional)
+# author_notes:
+# - "Equal contribution"
+# - "Equal contribution"
+
+date: "2018-12-01"
+doi: "https://doi.org/10.1109/CDC.2018.8619313"
+
+# Schedule page publish date (NOT publication's date).
+# publishDate: "2017-01-01T00:00:00Z"
+
+# Publication type.
+# Legend: 0 = Uncategorized; 1 = Conference paper; 2 = Journal article;
+# 3 = Preprint / Working Paper; 4 = Report; 5 = Book; 6 = Book section;
+# 7 = Thesis; 8 = Patent
+publication_types: ["1"]
+
+# Publication name and optional abbreviated publication name.
+publication: In 2018 IEEE Conference on Decision and Control
+publication_short: In CDC 2018
+
+abstract: In this paper, we introduce a new boundary control synthesis problem with temporal logic specifications for a wide range of linear partial differential equations. We leverage the finite element method (FEM) to reduce the problem to a control problem for discrete-time linear systems. The specifications are formalized using an extension of signal temporal logic (STL), called Spatial-STL (S-STL). A conservative procedure to reformulate the specification into a regular STL formula as part of the FEM reduction is presented. A mixed-integer linear encoding is then used to synthesize the control inputs from a given allowed set. We illustrate the algorithm by applying it to a heat propagation problem.
+
+# Summary. An optional shortened abstract.
+# summary: Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum.
+
+tags: []
+
+# Display this page in the Featured widget?
+featured: true
+
+# Custom links (uncomment lines below)
+# links:
+# - name: Custom Link
+#   url: http://example.org
+
+url_pdf: ''
+url_code: ''
+url_dataset: ''
+url_poster: ''
+url_project: ''
+url_slides: ''
+url_source: ''
+url_video: ''
+
+# Featured image
+# To use, add an image named `featured.jpg/png` to your page's folder. 
+image:
+  caption: ""
+  focal_point: ""
+  preview_only: false
+
+# Associated Projects (optional).
+#   Associate this publication with one or more of your projects.
+#   Simply enter your project's folder or file name without extension.
+#   E.g. `internal-project` references `content/project/internal-project/index.md`.
+#   Otherwise, set `projects: []`.
+projects:
+- formal-pde
+
+# Slides (optional).
+#   Associate this publication with Markdown slides.
+#   Simply enter your slide deck's filename without extension.
+#   E.g. `slides: "example"` references `content/slides/example/index.md`.
+#   Otherwise, set `slides: ""`.
+slides: ""
+---