diff --git a/content/publication/cdc2018/cdc2018.pdf b/content/publication/cdc2018/cdc2018.pdf new file mode 100644 index 0000000..b77f502 Binary files /dev/null and b/content/publication/cdc2018/cdc2018.pdf differ diff --git a/content/publication/cdc2018/cite.bib b/content/publication/cdc2018/cite.bib new file mode 100644 index 0000000..486320f --- /dev/null +++ b/content/publication/cdc2018/cite.bib @@ -0,0 +1,13 @@ + +@inproceedings{penedo_control_2018, + title = {Control {Synthesis} for {Partial} {Differential} {Equations} from {Spatio}-{Temporal} {Specifications}}, + doi = {10.1109/CDC.2018.8619313}, + 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.}, + booktitle = {2018 {IEEE} {Conference} on {Decision} and {Control} ({CDC})}, + author = {Penedo, F. and Park, H. and Belta, C.}, + month = dec, + year = {2018}, + keywords = {Mathematical model, Modeling, Trajectory, control system synthesis, discrete time systems, femformal, integer programming, temporal logic, Semantics, partial differential equations, signal temporal logic, temporal logic specifications, boundary control synthesis problem, conservative procedure, control inputs, control problem, discrete-time linear systems, FEM reduction, finite element analysis, Finite element analysis, finite element method, heat propagation problem, Heating systems, linear partial differential equations, linear programming, linear systems, mixed-integer linear encoding, Partial differential equations, regular STL formula, S-STL, Spatial-STL, spatio-temporal specifications}, + pages = {4890--4895}, + file = {IEEE Xplore Abstract Record:/home/fran/.zotero/zotero/th89c3ji.default/zotero/storage/A53TBLDA/8619313.html:text/html;IEEE Xplore Full Text PDF:/home/fran/.zotero/zotero/th89c3ji.default/zotero/storage/U6V94GZ6/Penedo et al. - 2018 - Control Synthesis for Partial Differential Equatio.pdf:application/pdf} +} diff --git a/content/publication/cdc2018/featured.png b/content/publication/cdc2018/featured.png new file mode 100644 index 0000000..e5458e0 Binary files /dev/null and b/content/publication/cdc2018/featured.png differ diff --git a/content/publication/example/index.md b/content/publication/cdc2018/index.md similarity index 51% rename from content/publication/example/index.md rename to content/publication/cdc2018/index.md index 27e533d..b9b6ec0 100644 --- a/content/publication/example/index.md +++ b/content/publication/cdc2018/index.md @@ -1,23 +1,24 @@ --- -title: "An example conference paper" +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 -- Robert Ford +- Harold Park +- Calin Belta # Author notes (optional) -author_notes: -- "Equal contribution" -- "Equal contribution" +# author_notes: +# - "Equal contribution" +# - "Equal contribution" -date: "2013-07-01T00:00:00Z" -doi: "" +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" +# publishDate: "2017-01-01T00:00:00Z" # Publication type. # Legend: 0 = Uncategorized; 1 = Conference paper; 2 = Journal article; @@ -26,13 +27,13 @@ publishDate: "2017-01-01T00:00:00Z" publication_types: ["1"] # Publication name and optional abbreviated publication name. -publication: In *Wowchemy Conference* -publication_short: In *ICW* +publication: In 2018 IEEE Conference on Decision and Control +publication_short: In CDC 2018 -abstract: Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi. Cras purus urna, suscipit quis sapien eu, pulvinar tempor diam. Quisque risus orci, mollis id ante sit amet, gravida egestas nisl. Sed ac tempus magna. Proin in dui enim. Donec condimentum, sem id dapibus fringilla, tellus enim condimentum arcu, nec volutpat est felis vel metus. Vestibulum sit amet erat at nulla eleifend gravida. +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. +# summary: Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. tags: [] @@ -56,7 +57,7 @@ url_video: '' # Featured image # To use, add an image named `featured.jpg/png` to your page's folder. image: - caption: 'Image credit: [**Unsplash**](https://unsplash.com/photos/pLCdAaMFLTE)' + caption: "" focal_point: "" preview_only: false @@ -66,22 +67,12 @@ image: # E.g. `internal-project` references `content/project/internal-project/index.md`. # Otherwise, set `projects: []`. projects: -- example +- 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: example +slides: "" --- - -{{% callout note %}} -Click the *Cite* button above to demo the feature to enable visitors to import publication metadata into their reference management software. -{{% /callout %}} - -{{% callout note %}} -Create your slides in Markdown - click the *Slides* button to check out the example. -{{% /callout %}} - -Supplementary notes can be added here, including [code, math, and images](https://wowchemy.com/docs/writing-markdown-latex/). diff --git a/content/publication/example/cite.bib b/content/publication/example/cite.bib deleted file mode 100644 index 98c3748..0000000 --- a/content/publication/example/cite.bib +++ /dev/null @@ -1,8 +0,0 @@ -@inproceedings{example1, - title={An example conference paper}, - author={Bighetti, Nelson and Ford, Robert}, - booktitle={Source Themes Conference}, - pages={1--6}, - year={2013}, - organization={IEEE} -} diff --git a/content/publication/example/example.pdf b/content/publication/example/example.pdf deleted file mode 100644 index 747064e..0000000 Binary files a/content/publication/example/example.pdf and /dev/null differ diff --git a/content/publication/example/featured.jpg b/content/publication/example/featured.jpg deleted file mode 100644 index 2ebab27..0000000 Binary files a/content/publication/example/featured.jpg and /dev/null differ