Sciweavers

519 search results - page 36 / 104
» Symmetries and Dynamics of Discrete Systems
Sort
View
CSL
2004
Springer
14 years 1 months ago
Pfaffian Hybrid Systems
It is well known that in an o-minimal hybrid system the continuous and discrete components can be separated, and therefore the problem of finite bisimulation reduces to the same pr...
Margarita V. Korovina, Nicolai Vorobjov
SCL
2008
66views more  SCL 2008»
13 years 10 months ago
Practical encoders for controlling nonlinear systems under communication constraints
We introduce a new class of dynamic encoders for continuous-time nonlinear control systems which update their parameters only at discrete times. We prove that the information reco...
Claudio De Persis, Dragan Nesic
WSC
2008
14 years 9 days ago
Evaluating the transient behavior of queueing systems via simulation and transfer function modeling
Characterizing the transient behavior of queueing systems is a difficult problem, which has been addressed by either simplified analytical models or simulation. We seek to capture...
Jingang Liu, Feng Yang
ISBI
2004
IEEE
14 years 10 months ago
Reconstruction of 2D Pet Data with Monte Carlo Generated Natural Pixels
Abstract-In discrete detector PET, natural pixels are image basis functions calculated from responses of detector pairs. By using reconstruction with natural pixels the discretizat...
Charles L. Byrne, Stefaan Vandenberghe, Edward J. ...
CSL
2010
Springer
13 years 11 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer