Hybrid Automata as a Modelling Approach in the Behavioural Sciences

Authors:
Matthias Buntins;Jens-W. Schicke;Frank Eggert;Ursula Goltz
Affiliations:
Research Methods and Bio-Psychology, TU Braunschweig;Institute for Programming and Reactive Systems, TU Braunschweig;Research Methods and Bio-Psychology, TU Braunschweig;Institute for Programming and Reactive Systems, TU Braunschweig
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2013

Citing 4
Cited 0

Timed and Hybrid Statecharts and Their Textual Representation

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Probabilistic and Empirical Grounded Modeling of Agents in (Partial) Cooperative Traffic Scenarios

ICDHM '09 Proceedings of the 2nd International Conference on Digital Human Modeling: Held as Part of HCI International 2009
PHAVer: algorithmic verification of hybrid systems past hytech

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Quantified Score

Hi-index	0.00

Visualization

Abstract

Hybrid modelling techniques have evolved as a tool to design, verify and guide the implementation of embedded systems. However they can-and we think should-be used to express quantitative models about hybrid systems in other domains, e.g. empirical sciences. Since the formal structure of hybrid automata corresponds well to sequentially organized behaviour chains in living organisms, we argue for an application of hybrid modelling techniques in the behavioural sciences and, especially, psychology. We try to answer the question how human drivers move onto a freeway and at the same time use this research as our testbed for using hybrid automata within behavioural sciences.