Search
Search Results
-
A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft
AbstractThis paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal...
-
Opinion Dynamics in Multiagent Systems with Optimal Choice of Opinion Verification Moments
AbstractA model of opinion dynamics in a social network that is a multiagent system with a finite number of agents is considered. There is a center...
-
Compositional non-blockingness verification of finite automata with prioritised events
This paper addresses the verification of non-blockingness for modular discrete-event systems, i.e., discrete-event systems that are composed from...
-
Query-Driven Verification of Data Integration in the RDF Data Model
AbstractMethods and tools for data integration are very important for problem solving in research infrastructures supporting the FAIR data management...
-
Model Verification & Validation
With the development of computer technology, various simulation models have been applied to take the place of physical experiments to save the time... -
A survey on compositional algorithms for verification and synthesis in supervisory control
This survey gives an overview of the current research on compositional algorithms for verification and synthesis of modular systems modelled as...
-
Diagnosability verification using LTL model checking
One of the challenges of fault diagnosis is to verify diagnosability of systems with huge state space efficiently. Model checking approaches have the...
-
Characterization, verification and computation of robust controlled invariants for monotone dynamical systems
In this paper, we consider the problem of computing robust controlled invariants for discrete-time monotone dynamical systems. We consider different...
-
Algebraic Verification of Finite Group-Based Potential Games with Vector Payoffs
This paper studies a class of strategic games, where players often collaborate with other players to form a group when making decisions, and the...
-
Improving the Quality of Calculations of Grid-Based Methods by Using the Criteria of Independent Verification of the Calculations
AbstractA methodology for improving the quality of the calculations for solving boundary value problems (BVPs) of numerical calculation of...
-
Local Identifiability Analysis, Parameter Subset Selection and Verification for a Minimal Brain PBPK Model
Physiologically-based pharmacokinetic (PBPK) modeling is important for studying drug delivery in the central nervous system, including determining...
-
A New Text Representation Technique-Based Approach for Authorship Verification
Author verification predicts whether the given text is written by the suspected author or not. Researchers used different types of stylistic features... -
Reachable Set Estimation and Safety Verification of Nonlinear Systems via Iterative Sums of Squares Programming
In this paper, the problems of forward reachable set estimation and safety verification of uncertain nonlinear systems with polynomial dynamics are...
-
A Coq-Based Infrastructure for Quantum Programming, Verification and Simulation
Quantum programming presents a significant departure from traditional programming due to its non-intuitive algorithm design and reliance on intricate... -
Design and verification of pipelined circuits with Timed Petri Nets
A fundamental step in circuit design is the placement of pipeline stages, which can drastically increase the data throughput. Retiming allows...
-
Unreliable Server M[X]/G/1 Queue with Working Vacation and Multi-phase Repair with Delay in Verification
In this paper, M [X] /G/1 model with working vacation, balking, unreliable server with multi-phase repair is considered. After the interruption of the...
-
An Approach for Formal Verification of Authentication Protocols
AbstractAuthentication protocols (APs) are one of the most important components of secure information systems. Authentication Protocols are...
-
A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
We propose a verification method for specification of homoclinic orbits as application of our previous work for constructing local Lyapunov functions...
-
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
In some practical applications modeled by discrete-event systems (DES), the observations of events may be no longer deterministic due to sensor...
-
Solution of the Local-Boundary-Value Problem of Control for a Nonlinear Stationary System Taking into Account Computer System Verification
AbstractIn this work, an algorithm is suggested to construct the control function that provides the transition of a broad class of stationary...