Sciweavers

157 search results - page 9 / 32
» Necessary conditions for multistationarity in discrete dynam...
Sort
View
IJRR
2008
67views more  IJRR 2008»
14 years 11 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
ISCAS
2003
IEEE
95views Hardware» more  ISCAS 2003»
15 years 5 months ago
Analog representation and digital implementation of OFDM systems
Many existing results on the analysis of OFDM systems are based on an analog representation. The actual implementation of OFDM transmitters typically consists of a discrete DFT ma...
Yuan-Pei Lin, See-May Phoong
AUTOMATICA
2008
134views more  AUTOMATICA 2008»
14 years 11 months ago
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of ...
Alessandro Abate, Maria Prandini, John Lygeros, Sh...
IANDC
2008
139views more  IANDC 2008»
14 years 11 months ago
Computational complexity of dynamical systems: The case of cellular automata
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
Pietro di Lena, Luciano Margara
ICRA
2007
IEEE
189views Robotics» more  ICRA 2007»
15 years 6 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