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
T3 - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
SP - 129
EP - 136
BT - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
T2 - 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Y2 - 22 March 2010 through 26 March 2010
ER -