Stochastic hybrid systems have received significant attentions as a relevant modeling
framework describing many systems, from engineering to the life sciences: they enable the …

In this paper, we present a Bayesian method for statistical model checking (SMC) of
probabilistic hyperproperties specified in the logic HyperPCTL* on discrete-time Markov …

Stochastic hybrid systems consist of software-controlled physical processes, where
uncertainties manifest due to either disturbance in the environment in which the physical …

Various bridge parameters, either alone or in combination with other parameters,
significantly affect the performance of the bridge decks in various regions. Identifying such …

Public safety and economic growth are two key factors that always motivate governments to
keep their civil infrastructure, in particular the bridges, safe and sound. However, the …

Nowadays, cyber physical systems are playing an important role in human life in which they
provide features that make interactions between human and machine easier. To design and …