Modeling languages applied to decision controllers for embedded human systems

Jonathan Sprinkle, Diyang Chu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Embedded Human Systems are systems where components are necessarily human and computational. When these systems are heavily impacted by physical constraints, or safety requirements, a modeling approach to their design is merited, especially when certain aspects of the design can be automated, or verified, using computation methods. In this paper we review one such element of the design - the decision controller - and discuss the physical and computational methods that can be used to design and validate these controllers.

Original languageEnglish (US)
Title of host publicationProceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Pages129-136
Number of pages8
DOIs
StatePublished - 2010
Event7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 - Oxford, United Kingdom
Duration: Mar 22 2010Mar 26 2010

Other

Other7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
CountryUnited Kingdom
CityOxford
Period3/22/103/26/10

Fingerprint

Controllers
Computational methods
Modeling languages

Keywords

  • Autonomous systems
  • Decision control
  • Programming languages

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

Sprinkle, J., & Chu, D. (2010). Modeling languages applied to decision controllers for embedded human systems. In Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010 (pp. 129-136). [5457810] https://doi.org/10.1109/EASe.2010.24

Modeling languages applied to decision controllers for embedded human systems. / Sprinkle, Jonathan; Chu, Diyang.

Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. p. 129-136 5457810.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sprinkle, J & Chu, D 2010, Modeling languages applied to decision controllers for embedded human systems. in Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010., 5457810, pp. 129-136, 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010, Oxford, United Kingdom, 3/22/10. https://doi.org/10.1109/EASe.2010.24
Sprinkle J, Chu D. Modeling languages applied to decision controllers for embedded human systems. In Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. p. 129-136. 5457810 https://doi.org/10.1109/EASe.2010.24
Sprinkle, Jonathan ; Chu, Diyang. / Modeling languages applied to decision controllers for embedded human systems. Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010. 2010. pp. 129-136
@inproceedings{b317ea6a682941df8765ffbefeb38551,
title = "Modeling languages applied to decision controllers for embedded human systems",
abstract = "Embedded Human Systems are systems where components are necessarily human and computational. When these systems are heavily impacted by physical constraints, or safety requirements, a modeling approach to their design is merited, especially when certain aspects of the design can be automated, or verified, using computation methods. In this paper we review one such element of the design - the decision controller - and discuss the physical and computational methods that can be used to design and validate these controllers.",
keywords = "Autonomous systems, Decision control, Programming languages",
author = "Jonathan Sprinkle and Diyang Chu",
year = "2010",
doi = "10.1109/EASe.2010.24",
language = "English (US)",
isbn = "9780769540047",
pages = "129--136",
booktitle = "Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010",

}

TY - GEN

T1 - Modeling languages applied to decision controllers for embedded human systems

AU - Sprinkle, Jonathan

AU - Chu, Diyang

PY - 2010

Y1 - 2010

N2 - Embedded Human Systems are systems where components are necessarily human and computational. When these systems are heavily impacted by physical constraints, or safety requirements, a modeling approach to their design is merited, especially when certain aspects of the design can be automated, or verified, using computation methods. In this paper we review one such element of the design - the decision controller - and discuss the physical and computational methods that can be used to design and validate these controllers.

AB - Embedded Human Systems are systems where components are necessarily human and computational. When these systems are heavily impacted by physical constraints, or safety requirements, a modeling approach to their design is merited, especially when certain aspects of the design can be automated, or verified, using computation methods. In this paper we review one such element of the design - the decision controller - and discuss the physical and computational methods that can be used to design and validate these controllers.

KW - Autonomous systems

KW - Decision control

KW - Programming languages

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

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

U2 - 10.1109/EASe.2010.24

DO - 10.1109/EASe.2010.24

M3 - Conference contribution

AN - SCOPUS:77953217330

SN - 9780769540047

SP - 129

EP - 136

BT - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010

ER -