Statecharts: A visual formalism for complex systems
Science of Computer Programming
Human grasp choice and robotic grasp analysis
Dextrous robot hands
An examination of requirements specification languages
The Computer Journal - Special issue on methodologies (systems and software)
Simulating humans: computer graphics animation and control
Simulating humans: computer graphics animation and control
Formal Approach to Scenario Analysis
IEEE Software
HCSM: a framework for behavior and scenario control in virtual environments
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on graphics, animation, and visualization for simulation environments
Improv: a system for scripting interactive actors in virtual worlds
SIGGRAPH '96 Proceedings of the 23rd annual conference on Computer graphics and interactive techniques
Modelling, analysis and synthesis of asynchronous control circuits using Petri nets
Integration, the VLSI Journal
Sketching storyboards to illustrate interface behaviors
Conference Companion on Human Factors in Computing Systems
Design as interaction with computer based materials
DIS '97 Proceedings of the 2nd conference on Designing interactive systems: processes, practices, methods, and techniques
ACM Transactions on Computer-Human Interaction (TOCHI)
Animation control for real-time virtual humans
Communications of the ACM
Simulation modeling with event graphs
Communications of the ACM
Parameterized action representation for virtual human agents
Embodied conversational agents
An Introduction to Neural Networks
An Introduction to Neural Networks
Advanced System Modelling and Simulation with Block Diagram Languages
Advanced System Modelling and Simulation with Block Diagram Languages
Automata Theory and Its Applications
Automata Theory and Its Applications
Embedded System Design: A Unified Hardware/Software Introduction
Embedded System Design: A Unified Hardware/Software Introduction
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Generating User Interface Prototypes from Scenarios
RE '99 Proceedings of the 4th IEEE International Symposium on Requirements Engineering
Evaluating real-time software specification languages
Computer Standards & Interfaces
Computer
A Software System to Carry-out Virtual Experiments on Human Motion
CA '99 Proceedings of the Computer Animation
Haptics Issues in Virtual Environments
CGI '00 Proceedings of the International Conference on Computer Graphics
An Integrated Development Environment for Prototyping Safety Critical Systems
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
UCPCD: user-centered product concept design
Proceedings of the 2003 conference on Designing for user experiences
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
ACM Transactions on Software Engineering and Methodology (TOSEM)
Scenarios, state machines and purpose-driven testing
SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Telecommunications Systems - Modeling, analysis, design and management
VR '06 Proceedings of the IEEE conference on Virtual Reality
Biomechanics modeling of human musculoskeletal system using Adams multibody dynamics package
BioMed'06 Proceedings of the 24th IASTED international conference on Biomedical engineering
Computer
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools
ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
Simulating Perceptive Processes of Pilots to Support System Design
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part I
Integrating perception, cognition and action for digital human modeling
ICDHM'07 Proceedings of the 1st international conference on Digital human modeling
Development of the virtual-human Santos®
ICDHM'07 Proceedings of the 1st international conference on Digital human modeling
Validation of predicted posture for the virtual human Santos®
ICDHM'07 Proceedings of the 1st international conference on Digital human modeling
Discrete, Continuous, and Hybrid Petri Nets
Discrete, Continuous, and Hybrid Petri Nets
Product design review application based on a vision-sound-haptic interface
HAID'10 Proceedings of the 5th international conference on Haptic and audio interaction design
Model checking for timed statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Evolution of central pattern generators for bipedal walking in areal-time physics environment
IEEE Transactions on Evolutionary Computation
Coordinated three-dimensional motion of the head and torso bydynamic neural networks
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
A model for types and levels of human interaction with automation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Memory-Based Human Motion Simulation for Computer-Aided Ergonomic Design
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Hi-index | 0.00 |
To include user interactions in simulations of product use, the most common approach is to couple human subjects to simulation models, using hardware interfaces to close the simulation-control loop. Testing with virtual human models could offer a low-cost addition to evaluation with human subjects. This paper explores the possibilities for coupling human and artefact models to achieve fully software-based interaction simulations. We have critically reviewed existing partial solutions to simulate or execute control (both human control and product-embedded control) and compared solutions from literature with a proof-of-concept we have recently developed. Our concept closes all loops, but it does not rely on validated algorithms to predict human decision making and low-level human motor control. For low-level control, validated solutions are available from other approaches. For human decision making, however, validated algorithms exist only to predict the timing but not the reasoning behind it. To identify decision-making schemes beyond what designers can conjecture, testing with human subjects remains indispensable.