Piece-Linear Aggregates for Formal Specification and Simulation of Hybrid Systems: Pharmacokinetics Patient-Controlled Analgesia

摘要

Computer aided simulations becomes more and more important in many study fields, from theoretical system characteristics research to practical engineering problem solving. There are two genuinely different ways to characterize and simulate continuous or hybrid systems. The most common is based on time discretization, the other one - by event discretization. The first method is well described in literature and has many use examples. But there are many disadvantages of using time discretization, especially in hybrid system simulations. Besides of high computation cost, which is needed to obtain high accuracy, the use of time discretization is inconvenient, when it is important to observe and react to system's state changes. There are two major formalisms dealing with discreet event systems - Piece Linear Aggregates formalism, and Discreet Event System specification formalism.