This paper is a tutorial on the positive realization problem, that is the problem of finding a positive state-space representation of a given transfer function and characterizing existence and minimality of such representation. This problem goes back to the 1950s and was first related to the identifiability problem for hidden Markov models, then to the determination of internal structures for compartmental systems and later embedded in the more general framework of positive systems theory. Within this framework, developing some ideas sprang in the 1960s, during the 1980s, the positive realization problem was reformulated in terms of a geometric condition which was recently exploited as a tool for finding the solution to the existence problem and providing partial answers to the minimality problem. In this paper, the reader is carried through the key ideas which have proved to be useful in order to tackle this problem. In order to illustrate the main results, contributions and open problems, several motivating examples and a comprehensive bibliography on positive systems organized by topics are provided.

The design of engine control systems has been traditionally carried out using a mix of heuristic techniques validated by simulation and prototyping using approximate average-value models. However, the ever increasing demands on passengers' comfort, safety, emissions, and fuel consumption imposed by car manufacturers and regulations call for more robust techniques and the use of cycle-accurate models. We argue that these models must be hybrid because of the combination of time-domain and event-based behaviors. We present a hybrid model of the engine in which both continuous and discrete time-domain as well as event-based phenomena are modeled in a separate but integrated manner. Based on this model, we formalize the specification of the overall engine control by defining a number of hybrid control problems. To cope with the difficulties arising in the design of hybrid controllers, a design methodology is proposed. This methodology consists of a relaxation of the hybrid problem by simplifying some of its components to obtain a solvable problem,and then deriving a solution to the original control problem by appropriately modifying the control law so obtained to take into consideration the original specifications and models. The effectiveness of this approach is illustrated on three challenging problems: fast force-transient control, cutoff control, and idle speed control.

Let H(z) be a rational transfer function, with associated nonnegative impulse response sequence. The paper considers the question: When does there exist a triple A/spl isin/R/sup N/spl times/N/, b/spl isin/R/sup N/, c/spl isin/R/sup N/ with all nonnegative entries H(z)=c'(zI-A)/sup -1/b? An essentially complete characterization is given of the H(z) allowing such a realization, in terms of the location of the pole or poles of H(z) with maximum modulus.