Concurrent and Real-time Behaviour

1995 ◽  
pp. 219-256
Author(s):  
Kevin Lano
Keyword(s):  
2016 ◽  
Vol 83 ◽  
pp. 1299-1307 ◽  
Author(s):  
Michael Lippenberger ◽  
Philipp Dengler ◽  
Andreas Wandinger ◽  
Michael Schmidt

2008 ◽  
Vol 41 (2) ◽  
pp. 13970-13975 ◽  
Author(s):  
J. Beran ◽  
F. Zezulka
Keyword(s):  

2013 ◽  
pp. 1434-1460
Author(s):  
Ong Chin Ann ◽  
Marlene Valerie Lu ◽  
Lau Bee Theng

The main purpose of this research is to enhance the communication of the disabled community. The authors of this chapter propose an enhanced interpersonal-human interaction for people with special needs, especially those with physical and communication disabilities. The proposed model comprises of automated real time behaviour monitoring, designed and implemented with the ubiquitous and affordable concept in mind to suit the underprivileged. In this chapter, the authors present the prototype which encapsulates an automated facial expression recognition system for monitoring the disabled, equipped with a feature to send Short Messaging System (SMS) for notification purposes. The authors adapted the Viola-Jones face detection algorithm at the face detection stage and implemented template matching technique for the expression classification and recognition stage. They tested their model with a few users and achieved satisfactory results. The enhanced real time behaviour monitoring system is an assistive tool to improve the quality of life for the disabled by assisting them anytime and anywhere when needed. They can do their own tasks more independently without constantly being monitored physically or accompanied by their care takers, teachers, or even parents. The rest of this chapter is organized as follows. The background of the facial expression recognition system is reviewed in Section 2. Section 3 is the description and explanations of the conceptual model of facial expression recognition. Evaluation of the proposed system is in Section 4. Results and findings on the testing are laid out in Section 5, and the final section concludes the chapter.


1998 ◽  
Vol 31 (20) ◽  
pp. 1141-1146 ◽  
Author(s):  
E. Nett ◽  
M. Gergeleit ◽  
M. Mock

Author(s):  
JIN SONG DONG ◽  
PING HAO ◽  
BRENDAN MAHONY

The design of embedded and hybrid systems requires powerful mechanisms for modeling data, state, concurrency and real-time behaviour. The {first} part of this paper illustrates a powerful design notation Timed Communicating Object Z (TCOZ) that has both channel based and sensor/actuator based interfaces. We believe that TCOZ is well suited for presenting more complete and coherent design models for complex embedded and hybrid systems. However, the challenge is how to analyze and check these models with tools support. One effective approach is to project (transform) the design models into multiple domains, then to use existing specialized tools in those domains to perform the checking and analyzing tasks. The second part of this paper demonstrates one particular projection from TCOZ designs to Timed Automata (TA) models so that TA model checkers can be used to check time related properties.


1991 ◽  
Vol 70 (4) ◽  
pp. 653-670
Author(s):  
MAKI K. HABIB ◽  
SHOOJI SUZUKI ◽  
SHIN'ICHI YUTA ◽  
JUN'ICHI IIJIMA

1996 ◽  
Vol 20 ◽  
pp. 55-70
Author(s):  
C.H. Kristensen ◽  
J.H. Andersen ◽  
A. Skou

Sign in / Sign up

Export Citation Format

Share Document