80 lines
2.8 KiB
Markdown
80 lines
2.8 KiB
Markdown
---
|
|
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:
|
|
- femformal
|
|
- templogic
|
|
|
|
# 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: ""
|
|
---
|