발행물
컨퍼런스
IIE Annual Conference and Exposition 2007
,
A Formalism for Affordance using Finite State Automata in Human-Machine Cooperative Systems
International Conference on Human-Computer Interaction (HCII 07)
2026
Dynamic Conflict Detection and Resolution in the Ubiquitous Service System
International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA2006)
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
ASME International Mechanical Engineering Congress
2004
Formal Modeling and Analysis of Human Task-performing Process in Manufacturing Systems with Human Task and Error Classifications
The 8th World Multi-Conference on Systemics, Cybernetics and Informatics
A Simulation Model of a Human as a Material Handling Task Performer with a Colored Petri Net Model