Modeling Languages Applied to Decision Controllers for Embedded Human Systems

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.