Sciweavers

693 search results - page 43 / 139
» Toward a Physics of Equations
Sort
View
CDC
2010
IEEE
13 years 4 months ago
Towards perpetual flight of a gliding unmanned aerial vehicle in the jet stream
Abstract--In this paper, we investigate the potential of a selfpowered gliding aircraft to remain aloft indefinitely. We focus specifically on operations in the jet stream where pe...
Joachim L. Grenestedt, John R. Spletzer
CSL
2010
Springer
13 years 10 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
ECAI
2010
Springer
13 years 10 months ago
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive
Abstract. Control engineering is a field of major industrial importance as it offers principles for engineering controllable physical devices, such as cell phones, television sets,...
Arjen Hommersom, Peter J. F. Lucas
ADCM
2005
163views more  ADCM 2005»
13 years 9 months ago
Matrix-valued radial basis functions: stability estimates and applications
Radial basis functions (RBFs) have found important applications in areas such as signal processing, medical imaging, and neural networks since the early 1980's. Several appli...
Svenja Lowitzsch
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 9 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer