Sciweavers

519 search results - page 17 / 104
» Symmetries and Dynamics of Discrete Systems
Sort
View
TSMC
2008
113views more  TSMC 2008»
13 years 9 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
CORR
2000
Springer
93views Education» more  CORR 2000»
13 years 9 months ago
Lattice Structure and Convergence of a Game of Cards
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
Eric Goles Ch., Michel Morvan, Ha Duong Phan
ICALP
1994
Springer
14 years 1 months ago
On some Relations between Dynamical Systems and Transition Systems
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
Eugene Asarin, Oded Maler
ICRA
2007
IEEE
189views Robotics» more  ICRA 2007»
14 years 4 months ago
Context Estimation and Learning Control through Latent Variable Extraction: From discrete to continuous contexts
— Recent advances in machine learning and adaptive motor control have enabled efficient techniques for online learning of stationary plant dynamics and it’s use for robust pre...
Georgios Petkos, Sethu Vijayakumar
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
14 years 2 months ago
Discretization of Linear Fractional Representations of LPV systems
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
Roland Tóth, Marco Lovera, Peter S. C. Heub...