6120 search results - page 53 / 1224 » The Power of Linear Functions |
AUTOMATICA
2005
14 years 11 months ago
2005
In this paper, an explicit model predictive controller for the attitude of a satellite is designed. Explicit solutions to constrained linear MPC problems can be computed by solvin...
142
click to vote
CAV
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
105
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
SIPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Linear amplifier with nonlinear components (LINC) is a power amplifier (PA) linearization technique which offers both high PA efficiency and high linearity of wireless transmitter...
CONCURRENCY
1998
14 years 11 months ago
1998
Java RMI provides an elegant and powerful model for invoking member functions on objects that exist in remote address spaces. Unfortunately, it is a Java-to-Java communication mod...