Model-Based Autonomous Systems for Robotic Space Exploration p. 4 Models of Computation and Simulation of Hybrid Systems p. 5 Modular Specification of Hybrid Systems in Charon p. 6 Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems p. 20 Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine p. 32 Optimization-Based Verification and Stability Characteri...

background and objectives: efficient cost management in hospitals’ pharmaceutical inventories have thepotential to remarkably contribute to optimization of overall hospital expenditures. to this end, reliable forecasting models for accurate prediction of future pharmaceutical demands are instrumental. while the linear methods are frequently used for forecasting purposes chiefly due to their sim...

Hybrid systems are characterized by a mix of analog and digital inputs and outputs. We deene such systems formally as hybrid automata, and discuss how to specify interesting properties of them. A few approaches to verifying hybrid systems are outlined: reachability analysis, model-checking on nite-state approximating automata, theorem proving, and linear programming. These approaches work with ...

abstract autoregressive integrated moving average (arima) has been one of the widely used linear models in time series forecasting during the past three decades. recent studies revealed the superiority of artificial neural network (ann) over traditional linear models in forecasting. but neither arima nor anns can be adequate in modeling and forecasting time series since the first model cannot d...

Operational semantics of hybrid systems p. 25 SOS methods for semi-algebraic games and optimization p. 54 The discrete time behavior of lazy linear hybrid automata p. 55 Perturbed timed automata p. 70 A homology theory for hybrid systems : hybrid homology p. 86 Observability of switched linear systems in continuous time p. 103 Controller synthesis on non-uniform and uncertain discrete-time doma...

We analyze several examples of switched linear circuits and a switched spring–mass system to illustrate the physical manifestations of regressivity and nonregressivity for discrete and continuous time systems as well as hybrid discrete/continuous systems from a time scales perspective. These examples highlight the role that nonregressivity plays in modeling and applications, and they point out ...

This paper deals with stability analysis of hybrid systems. Such systems are characterized by a combination of continuous dynamics and logic based switching between discrete modes. Lyapunov theory is a well known methodology for the stability analysis of linear and nonlinear systems in control system literature. Construction of Lyapunov functions for hybrid systems is generally a difficult task...