Suchergebnisse - Theory of computation: Models of computation: Timed and hybrid models

Time for Networks: Mutation Testing for Timed Automata Networks von 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 …”
Volltext

Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation von Sarwar, Mir Md Sajid, Ray, Rajarshi, Banerjee, Ansuman

“… Model reconciliation has been a popular approach for generating explanations for such problems in recent literature, which involves an AI agent and a human planner, who have different models …”
Volltext

Controller Verification meets Controller Code: A Case Study von Freiberger, Felix, Schupp, Stefan, Hermanns, Holger, Abraham, Erika

“… requirements for electrified vehicles to a custom bike design. The controller is integrated in the underlying model in a way that correctly represents the input …”
Volltext

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

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

Uppaal SMC tutorial von 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 …”
Volltext

HpC: A Calculus for Hybrid and Mobile Systems von 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 …”
Volltext

Bounded model checking of signal temporal logic properties using syntactic separation von 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 …”
Volltext

Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets von 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 …”
Volltext

Hybrid Access Control Model for IoT Environments: Formalization and Verification Using Timed Automata von Krakallah, Mohammed Walid, Nait-Bahloul, Safia

“… Due to their complexity and diversity, IoT environments require sophisticated, dynamic, and flexible access control models capable of addressing their specific constraints …”
Volltext

Statistical model checking for biological systems von David, Alexandre, Larsen, Kim G., Legay, Axel, Mikučionis, Marius, Poulsen, Danny Bøgsted, Sedwards, Sean

“… The technique has been applied to (discrete and continuous time) Markov chains, stochastic timed automata and most recently hybrid systems using the tool Uppaal SMC …”
Volltext

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I von Dillig, Isil, Tasiran, Serdar

“… This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019 …”
Volltext

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I von Silva, Alexandra, Leino, K. Rustan M

“… This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021 …”
Volltext

Formal verification and quantitative metrics of MPSoC data dynamics von Zhang, Hui, Wu, Jinzhao

“… Multiprocessor system on chip (MPSoC) implements system functions through tasks. It is necessary to estimate system behaviors early in the design process …”
Volltext

A Comparison of Item Calibration Procedures in the Presence of Test Speededness von Suh, Youngsuk, Cho, Sun-Joo, Wollack, James A.

“… In the presence of test speededness, the parameter estimates of item response theory models can be poorly estimated due to conditional dependencies among items, particularly for end-of-test items (i.e., speeded items …”
Volltext

A Formal Model For Real-Time Parallel Computation von Hui, Peter, Chikkagoudar, Satish

“… We define the concept of a consistent parallel timing system: a hybrid system consisting of a set of timed automata …”
Volltext

Higher-Dimensional Timed and Hybrid Automata von Fahrenberg, Uli

“… We introduce a new formalism of higher-dimensional timed automata, based on Pratt and van …”
Volltext

Symbolic Algorithmic Analysis of Rectangular Hybrid Systems von Zhang, Hai-Bin, Duan, Zhen-Hua

“… They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas …”
Volltext

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach von Nguyen, Luan V, Haddad, Wesam, Johnson, Taylor T

“… Satisfiability Modulo Theories (SMT) solvers have been successfully applied to solve many problems in formal verification such as bounded model checking (BMC …”
Volltext

Performance-based parallel application toolkit for high-performance clusters von Li, Kuan-Ching, Weng, Tien-Hsiung

“… Advances in computer technology, encompassed with fast emerging of multicore processor technology, have made the many-core personal computers available and …”
Volltext

Bandwidth of Timed Automata: 3 Classes von Asarin, Eugene, Degorre, Aldric, Dima, Cătălin, Jacobo Inclán, Bernardo

“… Timed languages contain sequences of discrete events ("letters") separated by real-valued delays, they can be recognized by timed automata, and represent behaviors of various real-time systems …”
Volltext