Using the recently derived dissipation theorem and a corollary of the transient fluctuation theorem (TFT), namely the second-law inequality, we derive the unique time independent, equilibrium phase space distribution function for an ergodic Hamiltoni...
The fluctuation theorem and the dissipation theorem provide relationships to describe nonequilibrium systems arbitrarily far from, or close to equilibrium. They both rely on definition of a central property, the dissipation function. In this manuscri...
: Closed-form variance estimators for weighted and stratified dose-response function estimators using generalized propensity score
Propensity score methods are widely used in observational studies for evaluating marginal treatment effects. The generalized propensity score (GPS) is an extension of the propensity score framework, historically developed in the case of binary exposu...
: Approximate matrix and tensor diagonalization by unitary transformations: convergence of Jacobi-type algorithms
: Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
: Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits princi-ples of feedback-control for the analysis of cyber-physical systems (CPS). FC-SSC uses stochastic system identificat...