A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited

Byungkwon Park; Mohammed M. Olama

doi:10.22360/SpringSim.2020.MSSES.001

A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited

Byungkwon Park, Mohammed M. Olama

Computational Systems Engineering and Cy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

In this paper, we revisit the method of a phase transition model for representing hybrid systems and temporal logic specifications (TLSs) for specifying desired behaviors of systems, and discuss their usefulness for smart energy systems. On the one hand, the phase transition model incorporates the continuous model of the relay device action with a particular structural form that allows for the construction of a single, global differential-algebraic equation for hybrid systems (thus smoothed hybrid systems). On the other hand, the TLS allows sophisticated descriptions of control specifications addressing both magnitude and time simultaneously, which has recently been applied to the control strategy of several types of continuous and hybrid systems. We provide high-level descriptions of each of the two techniques and present simulation results in the context of smart energy systems.

Original language	English
Title of host publication	Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020
Editors	Fernando J. Barros, Xiaolin Hu, Hamdi Kavak, Alberto A. Del Barrio
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781565553705
DOIs	https://doi.org/10.22360/SpringSim.2020.MSSES.001
State	Published - May 2020
Event	2020 Spring Simulation Conference, SpringSim 2020 - Virtual, Fairfax, United States Duration: May 18 2020 → May 21 2020

Publication series

Name	Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020

Conference

Conference	2020 Spring Simulation Conference, SpringSim 2020
Country/Territory	United States
City	Virtual, Fairfax
Period	05/18/20 → 05/21/20

Funding

This manuscript has been authored by UT-Battelle, LLC under Contract No. DE-AC05-00OR22725 with the U.S. Department of Energy. The United States Government retains and the publisher, by accepting the article for publication, acknowledges that the United States Government retains a non-exclusive, paid-up, irrevocable, world-wide license to publish or reproduce the published form of this manuscript, or allow others to do so, for United States Government purposes. The Department of Energy will provide public access to these results of federally sponsored research in accordance with the DOE Public Access Plan (http://energy.gov/downloads/doe-public-access-plan).

Keywords

Discrete events
hybrid systems
smart energy systems
temporal logic specifications

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.22360/SpringSim.2020.MSSES.001

Cite this

Park, B., & Olama, M. M. (2020). A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited. In F. J. Barros, X. Hu, H. Kavak, & A. A. Del Barrio (Eds.), Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020 Article 9185417 (Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.22360/SpringSim.2020.MSSES.001

Park, Byungkwon ; Olama, Mohammed M. / A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited. Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020. editor / Fernando J. Barros ; Xiaolin Hu ; Hamdi Kavak ; Alberto A. Del Barrio. Institute of Electrical and Electronics Engineers Inc., 2020. (Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020).

@inproceedings{479441194f664cb19d1ccb71b67e713b,

title = "A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited",

abstract = "In this paper, we revisit the method of a phase transition model for representing hybrid systems and temporal logic specifications (TLSs) for specifying desired behaviors of systems, and discuss their usefulness for smart energy systems. On the one hand, the phase transition model incorporates the continuous model of the relay device action with a particular structural form that allows for the construction of a single, global differential-algebraic equation for hybrid systems (thus smoothed hybrid systems). On the other hand, the TLS allows sophisticated descriptions of control specifications addressing both magnitude and time simultaneously, which has recently been applied to the control strategy of several types of continuous and hybrid systems. We provide high-level descriptions of each of the two techniques and present simulation results in the context of smart energy systems.",

keywords = "Discrete events, hybrid systems, smart energy systems, temporal logic specifications",

author = "Byungkwon Park and Olama, {Mohammed M.}",

note = "Publisher Copyright: {\textcopyright} 2020 SCS.; 2020 Spring Simulation Conference, SpringSim 2020 ; Conference date: 18-05-2020 Through 21-05-2020",

year = "2020",

month = may,

doi = "10.22360/SpringSim.2020.MSSES.001",

language = "English",

series = "Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

editor = "Barros, {Fernando J.} and Xiaolin Hu and Hamdi Kavak and {Del Barrio}, {Alberto A.}",

booktitle = "Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020",

}

Park, B & Olama, MM 2020, A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited. in FJ Barros, X Hu, H Kavak & AA Del Barrio (eds), Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020., 9185417, Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020, Institute of Electrical and Electronics Engineers Inc., 2020 Spring Simulation Conference, SpringSim 2020, Virtual, Fairfax, United States, 05/18/20. https://doi.org/10.22360/SpringSim.2020.MSSES.001

A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited. / Park, Byungkwon; Olama, Mohammed M.
Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020. ed. / Fernando J. Barros; Xiaolin Hu; Hamdi Kavak; Alberto A. Del Barrio. Institute of Electrical and Electronics Engineers Inc., 2020. 9185417 (Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited

AU - Park, Byungkwon

AU - Olama, Mohammed M.

PY - 2020/5

Y1 - 2020/5

N2 - In this paper, we revisit the method of a phase transition model for representing hybrid systems and temporal logic specifications (TLSs) for specifying desired behaviors of systems, and discuss their usefulness for smart energy systems. On the one hand, the phase transition model incorporates the continuous model of the relay device action with a particular structural form that allows for the construction of a single, global differential-algebraic equation for hybrid systems (thus smoothed hybrid systems). On the other hand, the TLS allows sophisticated descriptions of control specifications addressing both magnitude and time simultaneously, which has recently been applied to the control strategy of several types of continuous and hybrid systems. We provide high-level descriptions of each of the two techniques and present simulation results in the context of smart energy systems.

AB - In this paper, we revisit the method of a phase transition model for representing hybrid systems and temporal logic specifications (TLSs) for specifying desired behaviors of systems, and discuss their usefulness for smart energy systems. On the one hand, the phase transition model incorporates the continuous model of the relay device action with a particular structural form that allows for the construction of a single, global differential-algebraic equation for hybrid systems (thus smoothed hybrid systems). On the other hand, the TLS allows sophisticated descriptions of control specifications addressing both magnitude and time simultaneously, which has recently been applied to the control strategy of several types of continuous and hybrid systems. We provide high-level descriptions of each of the two techniques and present simulation results in the context of smart energy systems.

KW - Discrete events

KW - hybrid systems

KW - smart energy systems

KW - temporal logic specifications

UR - http://www.scopus.com/inward/record.url?scp=85092055152&partnerID=8YFLogxK

U2 - 10.22360/SpringSim.2020.MSSES.001

DO - 10.22360/SpringSim.2020.MSSES.001

M3 - Conference contribution

AN - SCOPUS:85092055152

T3 - Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020

BT - Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020

A2 - Barros, Fernando J.

A2 - Hu, Xiaolin

A2 - Kavak, Hamdi

A2 - Del Barrio, Alberto A.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2020 Spring Simulation Conference, SpringSim 2020

Y2 - 18 May 2020 through 21 May 2020

ER -

Park B, Olama MM. A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited. In Barros FJ, Hu X, Kavak H, Del Barrio AA, editors, Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020. Institute of Electrical and Electronics Engineers Inc. 2020. 9185417. (Proceedings of the 2020 Spring Simulation Conference, SpringSim 2020). doi: 10.22360/SpringSim.2020.MSSES.001

A Phase Transition Model and Temporal Logic Specifications for Smart Energy Systems - Revisited

Abstract

Publication series

Conference

Funding

Keywords

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this