BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ricardo Almeida

Ricardo Almeida contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.OCmath.NAmath.CAFormal Languages and Automata Theorymath-phmath.MPLogic in Computer Sciencemath.APmath.DSmath.GMSystems and Control

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
36works
0followers
11topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

36 published item(s)

preprint2022arXiv

A Report on Achieving Complete Regular-Expression Matching using Mealy Machines

While regexp matching is a powerful mechanism for finding patterns in data streams, regexp engines in general only find matches that do not overlap. Moreover, different forms of nondeterministic exploration, where symbols read are processed more than once, are often used, which can be costly in real-time matching. We present an algorithm that constructs from any regexp a Mealy machine that finds all matches and while reading each input symbol only once. The machine computed can also detect and distinguish different patterns or sub-patterns inside patterns. Additionally, we show how to compute a minimal Mealy machine via a variation of DFA minimization, by formalizing Mealy machines in terms of regular languages.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

A Scale Variational Principle of Herglotz

The Herglotz problem is a generalization of the fundamental problem of the calculus of variations. In this paper, we consider a class of non-differentiable functions, where the dynamics is described by a scale derivative. Necessary conditions are derived to determine the optimal solution for the problem. Some other problems are considered, like transversality conditions, the multi-dimensional case, higher-order derivatives and for several independent variables.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Caputo-Hadamard fractional derivatives of variable order

In this paper we present three types of Caputo-Hadamard derivatives of variable fractional order, and study the relations between them. An approximation formula for each fractional operator, using integer-order derivatives only, is obtained, and an estimation for the error is given. At the end we compare the exact fractional derivative of a concrete example with some numerical approximations.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Fractional differential equations with dependence on the Caputo-Katugampola derivative

In this paper we present a new type of fractional operator, the Caputo-Katugampola derivative. The Caputo and the Caputo-Hadamard fractional derivatives are special cases of this new operator. An existence and uniqueness theorem for a fractional Cauchy type problem, with dependence on the Caputo--Katugampola derivative, is proven. A decomposition formula for the Caputo-Katugampola derivative is obtained. This formula allows us to provide a simple numerical procedure to solve the fractional differential equation.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Reduction of Nondeterministic Tree Automata

We present an efficient algorithm to reduce the size of nondeterministic tree automata, while retaining their language. It is based on new transition pruning techniques, and quotienting of the state space w.r.t. suitable equivalences. It uses criteria based on combinations of downward and upward simulation preorder on trees, and the more general downward and upward language inclusions. Since tree-language inclusion is EXPTIME-complete, we describe methods to compute good approximations in polynomial time. We implemented our algorithm as a module of the well-known libvata tree automata library, and tested its performance on a given collection of tree automata from various applications of libvata in regular model checking and shape analysis, as well as on various classes of randomly generated tree automata. Our algorithm yields substantially smaller and sparser automata than all previously known reduction techniques, and it is still fast enough to handle large instances.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Variational methods for the solution of fractional discrete/continuous Sturm-Liouville problems

The fractional Sturm-Liouville eigenvalue problem appears in many situations, e.g., while solving anomalous diffusion equations coming from physical and engineering applications. Therefore to obtain solutions or approximation of solutions to this problem is of great importance. Here, we describe how the fractional Sturm-Liouville eigenvalue problem can be formulated as a constrained fractional variational principle and show how such formulation can be used in order to approximate the solutions. Numerical examples are given, to illustrate the method.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Variational Problems Involving a Caputo-Type Fractional Derivative

The aim of this paper is to study certain problems of calculus of variations, that are dependent upon a Lagrange function on a Caputo-type fractional derivative. This type of fractional operator is a generalization of the Caputo and the Caputo--Hadamard fractional derivatives, that are dependent on a real parameter ro. Sufficient and necessary conditions of the first and second order are presented. The cases of integral and holonomic constraints are also considered.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A numerical method to solve higher-order fractional differential equations

In this paper, we present a new numerical method to solve fractional differential equations. Given a fractional derivative of arbitrary real order, we present an approximation formula for the fractional operator that involves integer-order derivatives only. With this, we can rewrite FDEs in terms of a classical one and then apply any known technique. With some examples, we show the accuracy of the method.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

An approximation formula for the Katugampola integral

The objective of this paper is to present an approximation formula for the Katugampola fractional integral, that allows us to solve fractional problems with dependence on this type of fractional operator. The formula only depends on first-order derivatives, and thus we convert the fractional problem into a standard one. With some examples we show the accuracy of the method, and then we present the utility of the method by solving a fractional integral equation.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Caputo derivatives of fractional variable order: numerical approximations

We present a new numerical tool to solve partial differential equations involving Caputo derivatives of fractional variable order. Three Caputo-type fractional operators are considered, and for each one of them an approximation formula is obtained in terms of standard (integer-order) derivatives only. Estimations for the error of the approximations are also provided. We then compare the numerical approximation of some test function with its exact fractional derivative. We end with an exemplification of how the presented methods can be used to solve partial fractional differential equations of variable order.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A Discretization Method to Solve Fractional Variational Problems with Dependence on Hadamard Derivatives

We provide a fast and simple method to solve fractional variational problems with dependence on Hadamard fractional derivatives. Using a relation between the Hadamard fractional operator and a sum involving integer-order derivatives, we rewrite the fractional problem into a classical optimal control problem. The latter problem is then solved by application of standard numerical techniques. We illustrate the procedure with an example.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Computing Hadamard type operators of variable fractional order

We consider Hadamard fractional derivatives and integrals of variable fractional order. A new type of fractional operator, which we call the Hadamard-Marchaud fractional derivative, is also considered. The objective is to represent these operators as series of terms involving integer-order derivatives only, and then approximate the fractional operators by a finite sum. An upper bound formula for the error is provided. We exemplify our method by applying the proposed numerical procedure to the solution of a fractional differential equation and a fractional variational problem with dependence on the Hadamard-Marchaud fractional derivative.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fractional Variational Principle of Herglotz

The aim of this paper is to bring together two approaches to non-conservative systems -- the generalized variational principle of Herglotz and the fractional calculus of variations. Namely, we consider functionals whose extrema are sought, by differential equations that involve Caputo fractional derivatives. The Euler--Lagrange equations are obtained for the fractional variational problems of Herglotz-type and the transversality conditions are derived. The fractional Noether-type theorem for conservative and non-conservative physical systems is proved.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

A numerical scheme to solve fractional optimal control problems

We review recent results obtained to solve fractional order optimal control problems with free terminal time and a dynamic constraint involving integer and fractional order derivatives. Some particular cases are studied in detail. A numerical scheme is given, based on expansion formulas for the fractional derivative. The efficiency of the method is illustrated through examples.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

An expansion formula with higher-order derivatives for fractional operators of variable order

We obtain approximation formulas for fractional integrals and derivatives of Riemann-Liouville and Marchaud types with a variable fractional order. The approximations involve integer-order derivatives only. An estimation for the error is given. The efficiency of the approximation method is illustrated with examples. As applications, we show how the obtained results are useful to solve differential equations and problems of the calculus of variations that depend on fractional derivatives of Marchaud type.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Discrete Direct Methods in the Fractional Calculus of Variations

Finite differences, as a subclass of direct methods in the calculus of variations, consist in discretizing the objective functional using appropriate approximations for derivatives that appear in the problem. This article generalizes the same idea for fractional variational problems. We consider a minimization problem with a Lagrangian that depends on the left Riemann-Liouville fractional derivative. Using the Grunwald-Letnikov definition, we approximate the objective functional in an equispaced grid as a multi-variable function of the values of the unknown function on mesh points. The problem is then transformed to an ordinary static optimization problem. The solution to the latter problem gives an approximation to the original fractional problem on mesh points.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Fractional Order Optimal Control Problems with Free Terminal Time

We consider fractional order optimal control problems in which the dynamic control system involves integer and fractional order derivatives and the terminal time is free. Necessary conditions for a state/control/terminal-time triplet to be optimal are obtained. Situations with constraints present at the end time are also considered. Under appropriate assumptions, it is shown that the obtained necessary optimality conditions become sufficient. Numerical methods to solve the problems are presented, and some computational simulations are discussed in detail.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Numerical Approximations to Fractional Problems of the Calculus of Variations and Optimal Control

This chapter presents some numerical methods to solve problems in the fractional calculus of variations and fractional optimal control. Although there are plenty of methods available in the literature, we concentrate mainly on approximating the fractional problem either by discretizing the fractional term or expanding the fractional derivatives as a series involving integer order derivatives. The former method, as a subclass of direct methods in the theory of calculus of variations, uses finite differences, Grunwald-Letnikov definition in this case, to discretize the fractional term. Any quadrature rule for integration, regarding the desired accuracy, is then used to discretize the whole problem including constraints. The final task in this method is to solve a static optimization problem to reach approximated values of the unknown functions on some mesh points. The latter method, however, approximates fractional problems by classical ones in which only derivatives of integer order are present. Precisely, two continuous approximations for fractional derivatives by series involving ordinary derivatives are introduced. Local upper bounds for truncation errors are provided and, through some test functions, the accuracy of the approximations are justified. Then we substitute the fractional term in the original problem with these series and transform the fractional problem to an ordinary one. Hereafter, we use indirect methods of classical theory, e.g. Euler-Lagrange equations, to solve the approximated problem. The methods are mainly developed through some concrete examples which either have obvious solutions or the solution is computed using the fractional Euler-Lagrange equation.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Approximation of fractional integrals by means of derivatives

We obtain a new decomposition of the Riemann-Liouville operators of fractional integration as a series involving derivatives (of integer order). The new formulas are valid for functions of class $C^n$, $n \in \mathbb{N}$, and allow us to develop suitable numerical approximations with known estimations for the error. The usefulness of the obtained results, in solving fractional integral equations and fractional problems of the calculus of variations, is illustrated.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Deciding KAT and Hoare Logic with Derivatives

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for checking program correctness. Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable. In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives. We also introduce the notion of derivative modulo particular sets of equations. With this we extend the previous procedure for deciding PHL. Some experimental results are also presented.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Generalized Transversality Conditions in Fractional Calculus of Variations

Problems of calculus of variations with variable endpoints cannot be solved without transversality conditions. Here, we establish such type of conditions for fractional variational problems with the Caputo derivative. We consider: the Bolza-type fractional variational problem, the fractional variational problem with a Lagrangian that may also depend on the unspecified end-point $φ(b)$, where $x=φ(t)$ is a given curve, and the infinite horizon fractional variational problem.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Numerical Approximations of Fractional Derivatives with Applications

Two approximations, derived from continuous expansions of Riemann-Liouville fractional derivatives into series involving integer order derivatives, are studied. Using those series, one can formally transform any problem that contains fractional derivatives into a classical problem in which only derivatives of integer order are present. Corresponding approximations provide useful numerical tools to compute fractional derivatives of functions. Application of such approximations to fractional differential equations and fractional problems of the calculus of variations are discussed. Illustrative examples show the advantages and disadvantages of each approximation.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Fractional variational problems depending on indefinite integrals

We obtain necessary optimality conditions for variational problems with a Lagrangian depending on a Caputo fractional derivative, a fractional and an indefinite integral. Main results give fractional Euler-Lagrange type equations and natural boundary conditions, which provide a generalization of previous results found in the literature. Isoperimetric problems, problems with holonomic constraints and depending on higher-order Caputo derivatives, as well as fractional Lagrange problems, are considered.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Fractional Calculus of Variations for Multiple Integrals with Application to Vibrating String

We introduce a fractional theory of the calculus of variations for multiple integrals. Our approach uses the recent notions of Riemann-Liouville fractional derivatives and integrals in the sense of Jumarie. Main results provide fractional versions of the theorems of Green and Gauss, fractional Euler-Lagrange equations, and fractional natural boundary conditions. As an application we discuss the fractional equation of motion of a vibrating string.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Necessary and sufficient conditions for the fractional calculus of variations with Caputo derivatives

We prove optimality conditions for different variational functionals containing left and right Caputo fractional derivatives. A sufficient condition of minimization under an appropriate convexity assumption is given. An Euler-Lagrange equation for functionals where the lower and upper bounds of the integral are distinct of the bounds of the Caputo derivative is also proved. Then, the fractional isoperimetric problem is formulated with an integral constraint also containing Caputo derivatives. Normal and abnormal extremals are considered.

0 citations0 reviewsNo code linkedOpen access