107 search results - page 19 / 22 » Decompositional Construction of Lyapunov Functions for Hybri... |
130
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper addresses a low complexity frequency offset estimator for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems over freque...
147
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Switched dynamical systems have shown great utility in modeling a variety of systems. Unfortunately, the determination of a numerical solution for the optimal control of such syste...
121
click to vote
SAFECOMP
2004
Springer
15 years 7 months ago
2004
Springer
This paper defines a type of constrained artificial neural network (ANN) that enables analytical certification arguments whilst retaining valuable performance characteristics. ...
117
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
151
Voted
AUTOMATICA
2011
14 years 8 months ago
2011
We present a framework to solve a finite-time optimal control problem for parabolic partial differential equations (PDEs) with diffusivity-interior actuators, which is motivate...