695 search results - page 41 / 139 » Symbolic Simulation of Hybrid Systems |
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— An effective method is presented for position tracking of a moving mobile terminal (MT). The method is based on time/distance difference of arrival (TDOA) estimation an...
QEST
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
In this paper we study the identifiability of linear switched systems (LSSs ) in discrete-time. The question of identifiability is central to system identification, as it sets the...
WSC
1997
13 years 9 months ago
1997
Scheduling of a construction project requires: a) hierarchical decomposition of the project; b) incorporation of risk and uncertainty in the activity time and cost estimates; and ...
IROS
2006
IEEE
2006
IEEE
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
14 years 2 months ago
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...