Model checking of asynchronous systems is traditionally based on the interleaving model, where an execution is modeled by a total order between events. Recently, the use of partial order semantics that allows independent events of concurrent processes to be unordered is becoming popular. Temporal logics that are interpreted over partial orders allow specifications relating global snapshots, and...

This paper contains a short course on the construction, analysis , and implementation of exponential integrators for time dependent partial differential equations. A much more detailed recent review can be found in Hochbruck and Ostermann (2010). Here, we restrict ourselves to one-step methods for autonomous problems. A basic principle for the construction of exponential integra-tors is the lin...

nderactuated mechanical systems are those possessing fewer U actuators than degrees of freedom. Examples of such systems abound, including flexible joint and flexible link robots, space robots, mobile robots, and robot models that include ac-tuator dynamics and rigid body dynamics together. Complex intemal dynamics, nonholonomic behavior, and lack of feedback linearizability are often exhibited...

The prerequisite for our understanding of many complex networked systems lies in the reconstruction of network structure from measurable data. Although binary-state dynamics occurring in a broad class of complex networked systems in nature and society and has been intensively investigated, a general framework for reconstructing complex networks from binary states, the inverse problem, is lackin...

Abstract. This paper presents a feedback linearization-based control strategy for a SEIR (susceptible plus infected plus infectious plus removed populations) propagation disease model. The model takes into account the total population amounts as a refrain for the illness transmission since its increase makes more difficult contacts among susceptible and infected. The control objective is novel ...

In this paper we present a semantics for concurrent systems with priority constraints, using as a basis partial orders of events with both precedence and simultaniety relations. Previous work has shown that theories based on partial orders modelling precedence alone are insufficient to capture priority. We use the prosset model of Gaifman and Pratt, an extension to partial-order theories which ...

Vanderbauwhede and van Gils, Krupa, and Langford studied unfoldings of bifurcations with purely imaginary eigenvalues and a nonsemisimple linearization, which generically occurs in codimension three. In networks of identical coupled ODE these nilpotent Hopf bifurcations can occur in codimension one. Elmhirst and Golubitsky showed that these bifurcations can lead to surprising branching patterns...