359 search results - page 38 / 72 » Reachability for Continuous and Hybrid Systems |
IMECS
2007
13 years 9 months ago
2007
— ACPsrt hs is a hybrid process algebra obtained by extending a combination of two existing extensions of Algebra of Communicating Processes (ACP), namely the process algebra wit...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
The context-independent deep belief network (DBN) hidden Markov model (HMM) hybrid architecture has recently achieved promising results for phone recognition. In this work, we pro...
JLP
2006
13 years 7 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
ISORC
2000
IEEE
14 years 7 days ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...