The purpose of this article is to serve as a light-weight introduction into the mysteries of analog and hybrid computing models from a dynamical systems and programming languages perspective. Hybrid systems are the dynamical systems that combine both models of computation, i.e., have interacting discrete and continuous dynamics. They have found widespread application as models for embedded comp...

We consider large queueing networks for which transient and stationary probability distributions are very difficult or impossible to obtain due to the state space explosion. We apply the coupling by mapping functions in order to compare large size multidimensional Markov chains with smaller ones, generating bounds on stationary and transient performance measures. When the processes have many tr...

This paper establishes equivalences among five classes of hybrid systems: mixed logical dynamical (MLD) systems, linear complementarity (LC) systems, extended linear complementarity (ELC) systems, piecewise affine (PWA) systems, and maxmin-plus-scaling (MMPS) systems. Some of the equivalences are established under (rather mild) additional assumptions. These results are of paramount importance f...

Fluid-based network traffic models are attractive due to their execution efficiency. They run much faster than the corresponding discrete-event packet-oriented simulation, especially when we study the aggregate traffic behavior of large-scale network scenarios. The efficiency, however, comes at a cost—fluid modeling does not include packet-level details. The ability to accurately capture the in...

In this study, we assess the influence of solvation on the accuracy and reliability of isotropic nuclear magnetic shielding calculations for amino acids in comparison to experimental data. We focus particularly on the performance of solvation methods for different protonation states, as biological molecules occur almost exclusively in aqueous solution and are subject to protonation with pH. We ...