Approximate Model Checking of Real-Time Systems for Linear Duration Invariants

Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented. In this paper, we present an approximate model checking technique based on a genetic algorithm to check real-time automata for linear durration invariants in reasonable times. Genetic algorithm is a good optimization method when a problem needs massive computation and it works particularly well in our case because the fitness function which is derived from the linear duration invariant is linear. ACM Computing Classification System (1998): D.2.4, C.3.

Abstract Subdifferential Calculus and Semi-Convex Functions

∗ The work is partially supported by NSFR Grant No MM 409/94.

Subdifferentials of Performance Functions and Calculus of Coderivatives of Set-Valued Mappings

The paper contains calculus rules for coderivatives of compositions, sums and intersections of set-valued mappings. The types of coderivatives considered correspond to Dini-Hadamard and limiting Dini-Hadamard subdifferentials in Gˆateaux differentiable spaces, Fréchet and limiting Fréchet subdifferentials in Asplund spaces and approximate subdifferentials in arbitrary Banach spaces. The key element of the unified approach to obtaining various calculus rules for various types of derivatives presented in the paper are simple formulas for subdifferentials of marginal, or performance functions.

Fractional Calculus of the Generalized Wright Function

Mathematics Subject Classification: 26A33, 33C20.

Certain Properties of Fractional Calculus Operators Associated with Generalized Mittag-Leffler Function

Mathematics Subject Classification: 26A33, 33E12, 33C20.

Convolution Products in L1(R+), Integral Transforms and Fractional Calculus

Mathematics Subject Classification: 43A20, 26A33 (main), 44A10, 44A15

On Integral Means for Fractional Calculus Operators of Multivalent Functions

2000 Mathematics Subject Classification: Primary 30C45, Secondary 26A33, 30C80

Hankel Transform in Quantum Calculus and Applications

Mathematics Subject Classification: 44A15, 33D15, 81Q99

Polynomial Expansions for Solutions of Higher-Order Bessel Heat Equation in Quantum Calculus

Mathematics Subject Class.: 33C10,33D60,26D15,33D05,33D15,33D90

Application of Fractional Calculus in the Dynamical Analysis and Control of Mechanical Manipulators

Mathematics Subject Classification: 26A33, 93C83, 93C85, 68T40

A Brief Story about the Operators of the Generalized Fractional Calculus

2000 Mathematics Subject Classification: 26A33, 33C60, 44A20

Fractional Calculus of P-transforms

MSC 2010: 44A20, 33C60, 44A10, 26A33, 33C20, 85A99

A Poster about the Recent History of Fractional Calculus

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

A Poster about the Old History of Fractional Calculus

MSC 2010: 26A33, 05C72, 33E12, 34A08, 34K37, 35R11, 60G22

Professor Rudolf Gorenflo and his Contribution to Fractional Calculus

MSC 2010: 26A33 Dedicated to Professor Rudolf Gorenflo on the occasion of his 80th anniversary