𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modeling Framework and Architecture of Hybrid System Dynamics and Discrete Event Simulation for Construction

✍ Scribed by Amin Alvanchi; SangHyun Lee; Simaan AbouRizk


Book ID
110985979
Publisher
John Wiley and Sons
Year
2011
Tongue
English
Weight
590 KB
Volume
26
Category
Article
ISSN
1093-9687

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Discrete event modeling and simulation f
✍ Jong-Kwon Lee; Ju-Jang Lee πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 747 KB

AbstractÐThis paper considers a lane routing problem in an Automated Highway System (AHS). Lane routing is important because the problem of managing the trac ¯ow on a multilane AHS plays a major role in an urban environment. On the other hand, because analytical approaches are impossible for various

Incremental model evolution and reusabil
✍ Yi-Liang Chen; StΓ©phane Lafortune; Feng Lin πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 450 KB

Reusability of supervisors under incremental model evolution of discrete event systems is investigated and a systematic method for the reuse of the supervisors is proposed based on automatic synthesis of input and output interfaces

Constructions of strict Lyapunov functio
✍ Michael Malisoff; FrΓ©dΓ©ric Mazenc πŸ“‚ Article πŸ“… 2008 πŸ› Elsevier 🌐 English βš– 352 KB

We provide explicit closed form expressions for strict Lyapunov functions for time-varying discrete time systems. Our Lyapunov functions are expressed in terms of known nonstrict Lyapunov functions for the dynamics and finite sums of persistency of excitation parameters. This provides a discrete tim

On the stability and performance of disc
✍ James Nutaro; Bernard Zeigler πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 375 KB

This paper establishes a link between the stability of a first order, explicit discrete event integration scheme and the stability criteria for the explicit Euler method. The paper begins by constructing a time-varying linear system with bounded inputs that is equivalent to the first order discrete