Formalizing eMobility with KnowLang

Emil Vassev; Nicklas Hoch; Henry P. Bensler; Mike Hinchey

doi:10.1145/2641483.2641523

Formalizing eMobility with KnowLang

Emil Vassev
, Nicklas Hoch
, Henry P. Bensler
, Mike Hinchey

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

Abstract

eMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain a greater share of the auto market. An eMobility system is composed of ensembles of cooperating e-vehicles, taking into account numerous requirements and restrictions of global traffic situation and individual drivers as well as infrastructure and operational requirements like parking availabilities, re-charging stations, battery life-time etc. The development of such systems is a very challenging task, which is mainly due to their non-deterministic behavior, driven by objectives that must be achieved despite the dynamic changes in the surrounding environment. This paper presents a formal approach to modeling self-adaptive behavior for eMobility. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of eMobility.

Original language	English
Title of host publication	Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014
Publisher	Association for Computing Machinery
Pages	27-34
Number of pages	8
ISBN (Print)	9781450327121
DOIs	https://doi.org/10.1145/2641483.2641523
Publication status	Published - 2014
Event	2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014 - Montreal, QC, Canada Duration: 4 Apr 2014 → 6 Apr 2014

Publication series

Name	ACM International Conference Proceeding Series

Conference

Conference	2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014
Country/Territory	Canada
City	Montreal, QC
Period	4/04/14 → 6/04/14

UN SDGs

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

SDG 7 Affordable and Clean Energy
SDG 11 Sustainable Cities and Communities
SDG 13 Climate Action

Keywords

KnowLang
eMobility
knowledge representation

Access to Document

10.1145/2641483.2641523

Cite this

@inproceedings{bd113e31ce56431888576241e84e038b,

title = "Formalizing eMobility with KnowLang",

abstract = "eMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain a greater share of the auto market. An eMobility system is composed of ensembles of cooperating e-vehicles, taking into account numerous requirements and restrictions of global traffic situation and individual drivers as well as infrastructure and operational requirements like parking availabilities, re-charging stations, battery life-time etc. The development of such systems is a very challenging task, which is mainly due to their non-deterministic behavior, driven by objectives that must be achieved despite the dynamic changes in the surrounding environment. This paper presents a formal approach to modeling self-adaptive behavior for eMobility. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of eMobility.",

keywords = "KnowLang, eMobility, knowledge representation",

author = "Emil Vassev and Nicklas Hoch and Bensler, \{Henry P.\} and Mike Hinchey",

year = "2014",

doi = "10.1145/2641483.2641523",

language = "English",

isbn = "9781450327121",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery",

pages = "27--34",

booktitle = "Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014",

note = "2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014 ; Conference date: 04-04-2014 Through 06-04-2014",

}

Vassev, E, Hoch, N, Bensler, HP & Hinchey, M 2014, Formalizing eMobility with KnowLang. in Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014. ACM International Conference Proceeding Series, Association for Computing Machinery, pp. 27-34, 2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014, Montreal, QC, Canada, 4/04/14. https://doi.org/10.1145/2641483.2641523

Formalizing eMobility with KnowLang. / Vassev, Emil; Hoch, Nicklas; Bensler, Henry P. et al.
Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014. Association for Computing Machinery, 2014. p. 27-34 (ACM International Conference Proceeding Series).

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

TY - GEN

T1 - Formalizing eMobility with KnowLang

AU - Vassev, Emil

AU - Hoch, Nicklas

AU - Bensler, Henry P.

AU - Hinchey, Mike

PY - 2014

Y1 - 2014

N2 - eMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain a greater share of the auto market. An eMobility system is composed of ensembles of cooperating e-vehicles, taking into account numerous requirements and restrictions of global traffic situation and individual drivers as well as infrastructure and operational requirements like parking availabilities, re-charging stations, battery life-time etc. The development of such systems is a very challenging task, which is mainly due to their non-deterministic behavior, driven by objectives that must be achieved despite the dynamic changes in the surrounding environment. This paper presents a formal approach to modeling self-adaptive behavior for eMobility. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of eMobility.

AB - eMobility is a transportation concept based on a network of electrical vehicles and offering new benefits to both society and business. Due to CO2-emission reduction, legislation and decreasing oil availability, electric (e-) vehicles increasingly gain a greater share of the auto market. An eMobility system is composed of ensembles of cooperating e-vehicles, taking into account numerous requirements and restrictions of global traffic situation and individual drivers as well as infrastructure and operational requirements like parking availabilities, re-charging stations, battery life-time etc. The development of such systems is a very challenging task, which is mainly due to their non-deterministic behavior, driven by objectives that must be achieved despite the dynamic changes in the surrounding environment. This paper presents a formal approach to modeling self-adaptive behavior for eMobility. The approach relies on the KnowLang language, a formal language dedicated to knowledge representation for self-adaptive systems. A case study is presented to demonstrate the formalization of eMobility.

KW - KnowLang

KW - eMobility

KW - knowledge representation

UR - https://www.scopus.com/pages/publications/84906814679

U2 - 10.1145/2641483.2641523

DO - 10.1145/2641483.2641523

M3 - Conference contribution

AN - SCOPUS:84906814679

SN - 9781450327121

T3 - ACM International Conference Proceeding Series

SP - 27

EP - 34

BT - Proceedings of the 2014 International C Conference on Computer Science and Software Engineering, C3S2E 2014

PB - Association for Computing Machinery

T2 - 2014 7th International C Conference on Computer Science and Software Engineering, C3S2E 2014

Y2 - 4 April 2014 through 6 April 2014

ER -

Formalizing eMobility with KnowLang

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this