Noether's Theorem for Fractional Optimal Control Problems

We begin by reporting on some recent results of the authors (Frederico and Torres, 2006), concerning the use of the fractional Euler-Lagrange notion to prove a Noether-like theorem for the problems of the calculus of variations with fractional derivatives. We then obtain, following the Lagrange multiplier technique used in (Agrawal, 2004), a new version of Noether's theorem to fractional optimal control systems.Comment: To be presented at FDA'06 - 2nd IFAC Workshop on Fractional Differentiation and its Applications, 19-21 July 2006, Porto, Portugal. Accepted (07-March-2006) for the Conference Proceeding

A System for Deduction-based Formal Verification of Workflow-oriented Software Models

The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference is based on the semantic tableaux method which has some advantages when compared to traditional deduction strategies. The algorithm for an automatic generation of logical specifications is proposed. The generation procedure is based on the predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea for the approach is to consider patterns, defined in terms of temporal logic,as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between intuitiveness of the deductive reasoning and the difficulty of its practical application in the case when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing our understanding of, the deduction-based formal verification of workflow-oriented models.Comment: International Journal of Applied Mathematics and Computer Scienc

Conservation laws for linear equations on quantum Minkowski spaces

The general, linear equations with constant coefficients on quantum Minkowski spaces are considered and the explicit formulae for their conserved currents are given. The proposed procedure can be simplified for *-invariant equations. The derived method is then applied to Klein-Gordon, Dirac and wave equations on different classes of Minkowski spaces. In the examples also symmetry operators for these equations are obtained. They include quantum deformations of classical symmetry operators as well as an additional operator connected with deformation of the Leibnitz rule in non-commutative differential calculus.Comment: 21 pages, LaTeX fil

Covering and gluing of algebras and differential algebras

Extending work of Budzynski and Kondracki, we investigate coverings and gluings of algebras and differential algebras. We describe in detail the gluing of two quantum discs along their classical subspace, giving a C*-algebra isomorphic to a certain Podles sphere, as well as the gluing of U_{\sqrt{q}}(sl_2)-covariant differential calculi on the discs.Comment: latex2e, 27 page

A Note on Dirac Operators on the Quantum Punctured Disk

We study quantum analogs of the Dirac type operator $-2\bar{z}\frac{\partial}{\partial\bar{z}}$ on the punctured disk, subject to the Atiyah-Patodi-Singer boundary conditions. We construct a parametrix of the quantum operator and show that it is bounded outside of the zero mode