Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
SIMULATION
2011
9 years 8 months ago
The Activity-tracking paradigm in discrete-event modeling and simulation: The case of spatially continuous distributed systems
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
Alexandre Muzy, Rajanikanth Jammalamadaka, Bernard...
CORR
2010
Springer
173views Education» more  CORR 2010»
9 years 12 months ago
A framework for proving the self-organization of dynamic systems
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
Emmanuelle Anceaume, Xavier Défago, Maria P...
ARTMED
1999
87views more  ARTMED 1999»
10 years 28 days ago
Case-based prediction in experimental medical studies
Case-based approaches predict the behaviour of dynamic systems by analysing a given experimental setting in the context of others. To select similar cases and to control adaptatio...
Alexander Seitz, Adelinde Uhrmacher, D. Damm
TSMC
2008
110views more  TSMC 2008»
10 years 1 months ago
Adaptive Lyapunov-Based Control of a Robot and Mass-Spring System Undergoing an Impact Collision
The control of dynamic systems that undergo an impact collision is both theoretically challenging and of practical importance. An appeal of studying systems that undergo an impact ...
Keith Dupree, Chien-Hao Liang, Guoqiang Hu, Warren...
IJRR
2008
67views more  IJRR 2008»
10 years 1 months ago
Sampling-based Falsification and Verification of Controllers for Continuous Dynamic Systems
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
Peng Cheng, Vijay Kumar
IJMMS
2008
115views more  IJMMS 2008»
10 years 1 months ago
Control centric approach in designing scrolling and zooming user interfaces
The dynamic systems approach to the design of continuous interaction interfaces allows the designer to use simulations, and analytical tools to analyse the behaviour and stability...
Parisa Eslambolchilar, Roderick Murray-Smith
EUSFLAT
2003
10 years 2 months ago
Modelling with temporal fuzzy chains
The aim of this paper is to present the Temporal Fuzzy Chains (TFCs) [3] to model the dynamic systems in a linguistic manner. TFCs make use of two different concepts: the traditio...
Juan Moreno García, Luis Jiménez, Jo...
ISIPTA
2003
IEEE
145views Mathematics» more  ISIPTA 2003»
10 years 6 months ago
An Extended Set-valued Kalman Filter
Set-valued estimation offers a way to account for imprecise knowledge of the prior distribution of a Bayesian statistical inference problem. The set-valued Kalman filter, which p...
Darryl Morrell, Wynn C. Stirling
MHCI
2004
Springer
10 years 6 months ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith
CDC
2008
IEEE
144views Control Systems» more  CDC 2008»
10 years 7 months ago
Control software model checking using bisimulation functions for nonlinear systems
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
James Kapinski, Alexandre Donzé, Flavio Ler...
books