Progress of analog-hybrid computation

Review of fast analog/hybrid computer systems, integrated operational amplifiers, electronic mode-control switches, digital attenuators, and packaging technique

Adaptive Embedded LES of the NASA Hump

A scheme for adaptive embedded LES is proposed which automatically determines boundaries for LES regions in a hybrid LES-RANS computation, with the goal of minimizing the LES part of the computation for maximum accuracy with minimum cost. The model-invariant hybrid formulation enables this scheme through greater flexibility in the placement of RANS-LES transitions. An adaptive embedded large-eddy simulation is carried out for the NASA hump test case and adaptive meshing is added to show how additional adaptive features may be controlled by the adaptive hybrid scheme

Safe Neighborhood Computation for Hybrid System Verification

For the design and implementation of engineering systems, performing model-based analysis can disclose potential safety issues at an early stage. The analysis of hybrid system models is in general difficult due to the intrinsic complexity of hybrid dynamics. In this paper, a simulation-based approach to formal verification of hybrid systems is presented.Comment: In Proceedings HAS 2014, arXiv:1501.0540

Abstraction and probabilities for hybrid logics

We suggest and develop mathematical foundations for quantitative versions of hybrid logics by means of two related themes: a relational abstraction technique for hybrid computation tree logic and hybrid Kripke structures as an extension of the model-checking framework for computation tree logic with the ability to name, bind, and retrieve states; and a syntax and semantics for hybrid probabilistic computation tree logic over hybrid extensions of labelled Markov chains for which the relational abstraction techniques of hybrid Kripke structures should be transferable