Sciweavers

143 search results - page 22 / 29
» Hierarchical Hybrid Modeling of Embedded Systems
Sort
View
CONCUR
2009
Springer
14 years 2 months ago
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...
Vashti Galpin, Luca Bortolussi, Jane Hillston
EMSOFT
2006
Springer
13 years 11 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
CORR
2008
Springer
114views Education» more  CORR 2008»
13 years 7 months ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
ICANN
2009
Springer
13 years 5 months ago
Mental Tasks Classification for a Noninvasive BCI Application
Mapping brain activity patterns in external actions has been studied in recent decades and is the base of a brain-computer interface. This type of interface is extremely useful for...
Alexandre Ormiga G. Barbosa, David Ronald A. Diaz,...
IROS
2006
IEEE
233views Robotics» more  IROS 2006»
14 years 1 months ago
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
Dangxiao Wang, Yuru Zhang, Chong Yao