JSTOR Daily

A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear ...

This is a preview. Log in through your library . Abstract The modeling of traffic control systems for solving such problems as surface street signalization, dynamic traffic assignment, etc., typically ...
JSTOR Daily

A Complete Classification of the Piecewise Monotone Functions on the Interval

This is a preview. Log in through your library . Abstract We define two functions f and g on the unit interval [0, 1] to be strongly conjugate $\operatorname{iff}$ there is an order-preserving ...
IEEE

Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems

Abstract: We introduce an algorithm for synthesizing and verifying piecewise linear Lyapunov functions to prove global exponential stability of piecewise linear dynamical systems. The Lyapunov ...
IEEE

I-SMOOTH: Iteratively smoothing piecewise-constant Poisson-process rate functions

Abstract: Piecewise-constant Poisson process rate functions are easy to estimate and provide easy random-process generation. When the true rate function is continuous, however, a piecewise-constant ...