We investigate the conditions under which an optimal continuous feedback control can be achieved. Chaotic oscillations in the single-well Duffing model, with either a positive or a negative nonlinear stiffness term, are tuned to their related Ritz approximation. The Floquet theory enables the stability analysis of the control. Critical values of the feedback control coefficient fulfilling the o...

Simulation of specifications is introduced as a unification and generalization of refinement mappings, history variables, forward simulations, prophecy variables, and backward simulations. Eternity variables are introduced as a more powerful alternative for prophecy variables and backward simulations. This formalism is semantically complete: every simulation is a composition of a forward simula...

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

OBJECTIVE To explore relationships among anxiety, anticipated pain, coping styles, postoperative pain, and patient-controlled analgesia (PCA) use among adolescent surgical patients and their parents. METHODS Sixty-five 12- to 18-year-old surgical patients undergoing surgery with postoperative PCA pain management were included. Before surgery, adolescents and parents reported anxiety and expec...

Purpose The purpose of this paper is twofold. First, it seeks to articulate a framework for different conceptions accounting’s performativity. Second, aims advance Baradian posthumanist understanding Design/methodology/approach traces foundational performativity and then articulates substantiates It advances one these by producing Findings Seven performative accountings are articulated: account...