We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical...
We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical...
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems We introduce the framework of hybrid automata as a model and specification language for hybrid systems. Hybrid automata can be viewed as a generalization o... R Alur,C Courcoubetis,TA Henzinger,......
Towards Sustainability-aware Recommender Systems: Analyzing the Trade-off Between Algorithms Performance and Carbon Footprint Group Fairness for Content Creators: the Role of Human and Algorithmic Biases under Popularity-based Recommendations Providing Previously Unseen Users Fair Recommendations Using Variational...
For NISQ devices to be of any use as a computational tool for chemistry, the algorithmic approaches must be adapted to be highly noise-robust in order to be capable of producing accurate results in the context of chemical precision. The QCM method is based on an expansion of the Lanczos ...
hardly be derived from existing work that focuses on either the algorithm or the experiment alone. This perspective offers a unified overview of the current status in theoretical, algorithmic and experimental RCs, to identify critical gaps that prevents industry adoption of RC and to discuss remedies...
It offers two execution models: pull which optimizes run-time performance of GPUs (enables optimizations like caching and locally aggregating updates in GPU shared memory); and push, which optimizes algorithmic efficiency (maintains a frontier queue and only performs computation over the out-edges ...
> A new kind of group coordination control problem——group hybrid coordination control is investigated. > Using the semi-decoupled skill and some estimation methods, this work provides a new analysis idea to investigate the group hybrid coordination control problem under time-delays and additive nois...
SVM: Support vector machines (SVM) are algorithmic extensions of statistical learning theory models that are designed to generate inferences that are consistent with the data. The question of estimating model performance in an unfamiliar data set, taking into account the model’s properties and the ...
The segmentation of retinal vasculature from eye fundus images is a fundamental task in retinal image analysis. Over recent years, increasingly complex approaches based on sophisticated Convolutional Neural Network architectures have been pushing perform