1525 search results - page 28 / 305 » POSD-a notation for presenting complex systems of processes |
101
click to vote
AI
2008
Springer
14 years 12 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
ISCAS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper explores subband processing of complex (I/Q) signals which finds various important applications especially in communications signal processing. Instead of using tradit...
108
click to vote
ACTAC
2006
14 years 11 months ago
2006
The surgery of fractured bones is often a very complex problem. That is the reason why it would be beneficial to create a geometric and mechanic model of the bones before surgical...
HASE
2007
IEEE
15 years 1 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
CDC
2010
IEEE
14 years 6 months ago
2010
IEEE
Event-triggered control systems are systems in which the control signal is recomputed when the plant's output signal leaves a triggering-set. There has been recent interest in...