A formal GSPN model of a virtual doctor dialogue system
N Bourbakis, S Mallios - Simulation, 2023 - journals.sagepub.com
This paper presents a formal generalized stochastic Petri net (GSPN)–based modeling of a
virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue …
virtual doctor (VDr) dialogue system. The interaction model between the VDr dialogue …
Formal and joint verification of control programs and supervision interfaces for socio-technical systems components
Abstract The Anaxagore Project (Bignon et al., 2013) provides a component-based design
ow for reconfigurable socio-technical systems. Each component integrates a control …
ow for reconfigurable socio-technical systems. Each component integrates a control …
Designing functional specifications for complex systems
For designing complex and sociotechnical (System that strongly interact with humans (eg, a
ship is a large sociotechnical system).) systems, designers are in charge of the functional …
ship is a large sociotechnical system).) systems, designers are in charge of the functional …
Analyse des dysfonctionnements des systèmes complexes en amont de la conception des IHM: apports, difficultés, et étude de cas
Dans de nombreux systèmes industriels complexes, l'analyse et la modélisation des
dysfonctionnements forment une étape indispensable venant en amont des projets de …
dysfonctionnements forment une étape indispensable venant en amont des projets de …
Contribution à l'élaboration d'une méthodologie de spécification, de vérification et de génération semi-automatique d'interfaces homme-machine: application à l'outil …
M Riahi - 2004 - hal.science
La recherche effectuée vise l'élaboration d'une démarche globale de conception des
interfaces homme-machine qui s' appuie sur l'utilisation d'outils formels pour l'identification …
interfaces homme-machine qui s' appuie sur l'utilisation d'outils formels pour l'identification …
Towards a runtime evolutionary model of user-adapted interaction in a ubiquitous environment: the RADEM formal model
In ubiquitous and intelligent environments, the human–system interaction has become
problematic. Consequently, a new form of interaction is emerging, the ubiquitous interaction …
problematic. Consequently, a new form of interaction is emerging, the ubiquitous interaction …
Proxy oriented approach for evaluating usability of a resilient life-critical interactive systems
M Jarraya, F Moussa - 2018 IEEE 32nd International …, 2018 - ieeexplore.ieee.org
Resilience deals with the system capacity to adjust itself to face unexpected events by
ensuring four activities that are: anticipation, monitoring, response and adaptation. In this …
ensuring four activities that are: anticipation, monitoring, response and adaptation. In this …
A dialogue monitoring scheme for a virtual doctor
S Mallios, N Bourbakis - 2015 National Aerospace and …, 2015 - ieeexplore.ieee.org
In today's digital world the information exchange has reached very large volumes per
minute, assisting people in doing their business from long distances, without their presence …
minute, assisting people in doing their business from long distances, without their presence …
[图书][B] Use of petri nets for modeling an agent-based interactive system: basic principles and case study
H Ezzedine, C Kolski - 2008 - researchgate.net
Several architecture models of interactive systems have been put forward by researchers
over the past twenty years. Two main types of architecture can be distinguished …
over the past twenty years. Two main types of architecture can be distinguished …
[PDF][PDF] A pervasive system architecture for smart environments
The adaptation paradigm is a basic defining feature for pervasive computing systems.
Adaptation systems must work efficiently in smart environments while providing suitable …
Adaptation systems must work efficiently in smart environments while providing suitable …