Search Results - theory of computation: models of computation: (timed OR time) and hybrid models

What’s decidable about parametric timed automata? by André, Étienne

“…Parametric timed automata (PTAs) are a powerful formalism to reason, simulate and formally verify critical real-time systems. After 25…”
Get full text

Uppaal SMC tutorial by David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted

“…This tutorial paper surveys the main features of Uppaal  SMC, a model checking approach in Uppaal family that allows us to reason on networks of complex real-timed systems with a stochastic semantic…”
Get full text

HpC: A Calculus for Hybrid and Mobile Systems by Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun

“… (discrete computations with predominant continuous dynamics). In the aim of ensuring the correctness and reliability of such heterogeneous infrastructures, we introduce the hybrid π-calculus (HpC…”
Get full text

Bounded model checking of signal temporal logic properties using syntactic separation by Bae, Kyungmin, Lee, Jia

“… This paper presents a new symbolic model checking algorithm for CPS programs that is refutationally complete for general STL properties of bounded signals…”
Get full text

A Hybrid Parallel Processing Strategy for Large-Scale DEA Computation by Chang, Shengqing, Ding, Jingjing, Feng, Chenpeng, Wang, Ruifeng

“… So far, various strategies have been proposed in academia to accelerate the DEA computation, including DEA algorithms such as hierarchical decomposition (HD…”
Get full text

A Hybrid Model for Fast and Probabilistic Urban Pluvial Flood Prediction by Li, Xiaohan, Willems, Patrick

“…‐time urban flood nowcasting. Aiming at meeting the needs of fast and probabilistic flood modeling, a new hybrid modeling method integrating a suite of lumped hydrological models and logistic regression is proposed…”
Get full text

Deep-learning model using hybrid adaptive trend estimated series for modelling and forecasting sales by Efat, Md. Iftekharul Alam, Hajek, Petr, Abedin, Mohammad Zoynul, Azad, Rahat Uddin, Jaber, Md. Al, Aditya, Shuvra, Hassan, Mohammad Kabir

“… The proposed hybrid model is equipped with a feature-extraction component that automatically detects the patterns and trends in time-series, which makes…”
Get full text

High-dimensional Feature Selection for Power System Congestion Event Prognosis with Enhanced Evolutionary Computation by Xu, J., Jiang, X. X., Liao, S. Y., Ke, D. P., Sun, Y. Z., Yao, L. Z.

“…Power system congestion event prognosis (CEP) based on multivariate time series (MTS) learning is an effective way to improve the warning abilities against risky situations…”
Get full text

Development of a 3D Hybrid Finite-Discrete Element Simulator Based on GPGPU-Parallelized Computation for Modelling Rock Fracturing Under Quasi-Static and Dynamic Loading Conditions by Fukuda, Daisuke, Mohammadnejad, Mojtaba, Liu, Hongyuan, Zhang, Qianbing, Zhao, Jian, Dehkhoda, Sevda, Chan, Andrew, Kodama, Jun-ichi, Fujii, Yoshiaki

“…) code. The theory and algorithm of the GPGPU-parallelized 3D Y-HFDEM IDE code are first introduced by focusing on the implementation of the contact detection algorithm, which is different from that in…”
Get full text

Multi-objective genetic algorithm for energy-efficient hybrid flow shop scheduling with lot streaming by Chen, Tzu-Li, Cheng, Chen-Yang, Chou, Yi-Han

“…Hybrid flow shop scheduling problems are encountered in many real-world manufacturing operations such as computer assembly, TFT-LCD module assembly, and solar cell manufacturing…”
Get full text

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach by Sitek, Pawel, Wikarek, Jarosław

“…The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and Alternative Delivery (CVRPPAD…”
Get full text

A survey of decision making methods based on two classes of hybrid soft set models by Ma, Xueling, Zhan, Jianming, Ali, Muhammad Irfan, Mehmood, Nayyar

“…To the best of our knowledge, the tool of soft set theory is a new efficacious technique to dispose uncertainties and it focuses on the parameterization, while fuzzy set theory emphasizes the truth…”
Get full text

Solvent Boundary Potentials for Hybrid QM/MM Computations Using Classical Drude Oscillators: A Fully Polarizable Model by Boulanger, Eliot, Thiel, Walter

“… (DO) model for the electronic polarizability of the MM atoms with the generalized solvent boundary Potential (GSBP…”
Get more information

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets by Motallebi, Hassan, Azgomi, Mohammad Abdollahi

“… the execution and firing of transitions and some modeling facilities for describing some repeatedly encountered aspects of timed and hybrid systems…”
Get full text

Failure-aware resource provisioning for hybrid computation offloading in cloud-assisted edge computing using gravity reference approach by Khaleel, Mustafa Ibrahim

“…This paper tackles the challenges of computation offloading in the cloud–edge paradigm. Although many solutions exist for enhancing…”
Get full text

H2Pregel : A partition-based hybrid hierarchical graph computation approach by Liu, Qiang, Dong, XiaoShe, Chen, Heng, Zhang, Xingjun

“…A partition-based hybrid hierarchical graph computation approach, called H2Pregel is proposed to address the redundant supersteps and inefficient computation problems due to low access locality…”
Get full text

Time for Networks: Mutation Testing for Timed Automata Networks by Cortes, David, Ortiz, James, Basile, Davide, Aranda, Jesus, Perrouin, Gilles, Schobbens, Pierre-Yves

“… Mutation operators and frameworks exist for a variety of programming languages, and model-based mutation testing is gaining traction, particularly for timed safety-critical systems…”
Get full text

A ship motion forecasting approach based on empirical mode decomposition method hybrid deep learning network and quantum butterfly optimization algorithm by Li, Ming-Wei, Xu, Dong-Yang, Geng, Jing, Hong, Wei-Chiang

“…) hybrid forecasting model of SHM is constructed by integrating a component forecasting model…”
Get full text

Splitwise: Efficient Generative LLM Inference Using Phase Splitting by Patel, Pratyush, Choukse, Esha, Zhang, Chaojie, Shah, Aashaka, Goiri, Inigo, Maleki, Saeed, Bianchini, Ricardo

“…Generative large language model (LLM) applications are growing rapidly, leading to large-scale deployments of expensive and power-hungry GPUs…”
Get full text

Multi-objective solid transportation-location problem with variable carbon emission in inventory management: a hybrid approach by Das, Soumen Kumar, Pervin, Magfura, Roy, Sankar Kumar, Weber, Gerhard Wilhelm

“…The most important strategic issue for several industries is where to find facilities so as to discover a transportation path for optimizing the objectives at the same time…”
Get full text