Sciweavers

118 search results - page 10 / 24
» Worst-case analysis of discrete systems based on conditional...
Sort
View
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
13 years 2 months ago
Formal analysis of piecewise affine systems through formula-guided refinement
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Ce...
EUROCAST
2007
Springer
104views Hardware» more  EUROCAST 2007»
14 years 1 months ago
Entropy-Based Modeling and Simulation of Evolution in Biological Systems
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
Stanislaw Sieniutycz
ICC
2007
IEEE
14 years 1 months ago
ML CFO and PO Estimation in DCT OFDM Systems under Non-Circular Transmissions
Abstract— Frequency synchronization is one of the most important components in orthogonal frequency-division multiplexing (OFDM) systems. Recently, the discrete cosine transform ...
Tao Cui, Feifei Gao, Arumugam Nallanathan, Chintha...
LSSC
2007
Springer
14 years 1 months ago
MIC(0) DD Preconditioning of FEM Elasticity Systems on Unstructured Tetrahedral Grids
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
Nikola Kosturski
FAABS
2000
Springer
13 years 11 months ago
Design and Mathematical Analysis of Agent-Based Systems
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
Kristina Lerman