10,017 research outputs found
Process Algebras
Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems.
Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external
experiments
The Structure of Differential Invariants and Differential Cut Elimination
The biggest challenge in hybrid systems verification is the handling of
differential equations. Because computable closed-form solutions only exist for
very simple differential equations, proof certificates have been proposed for
more scalable verification. Search procedures for these proof certificates are
still rather ad-hoc, though, because the problem structure is only understood
poorly. We investigate differential invariants, which define an induction
principle for differential equations and which can be checked for invariance
along a differential equation just by using their differential structure,
without having to solve them. We study the structural properties of
differential invariants. To analyze trade-offs for proof search complexity, we
identify more than a dozen relations between several classes of differential
invariants and compare their deductive power. As our main results, we analyze
the deductive power of differential cuts and the deductive power of
differential invariants with auxiliary differential variables. We refute the
differential cut elimination hypothesis and show that, unlike standard cuts,
differential cuts are fundamental proof principles that strictly increase the
deductive power. We also prove that the deductive power increases further when
adding auxiliary differential variables to the dynamics
Mixed Weyl Symbol Calculus and Spectral Line Shape Theory
A new and computationally viable full quantum version of line shape theory is
obtained in terms of a mixed Weyl symbol calculus. The basic ingredient in the
collision--broadened line shape theory is the time dependent dipole
autocorrelation function of the radiator-perturber system. The observed
spectral intensity is the Fourier transform of this correlation function. A
modified form of the Wigner--Weyl isomorphism between quantum operators and
phase space functions (Weyl symbols) is introduced in order to describe the
quantum structure of this system. This modification uses a partial Wigner
transform in which the radiator-perturber relative motion degrees of freedom
are transformed into a phase space dependence, while operators associated with
the internal molecular degrees of freedom are kept in their original Hilbert
space form. The result of this partial Wigner transform is called a mixed Weyl
symbol. The star product, Moyal bracket and asymptotic expansions native to the
mixed Weyl symbol calculus are determined. The correlation function is
represented as the phase space integral of the product of two mixed symbols:
one corresponding to the initial configuration of the system, the other being
its time evolving dynamical value. There are, in this approach, two
semiclassical expansions -- one associated with the perturber scattering
process, the other with the mixed symbol star product. These approximations are
used in combination to obtain representations of the autocorrelation that are
sufficiently simple to allow numerical calculation. The leading O(\hbar^0)
approximation recovers the standard classical path approximation for line
shapes. The higher order O(\hbar^1) corrections arise from the noncommutative
nature of the star product.Comment: 26 pages, LaTeX 2.09, 1 eps figure, submitted to 'J. Phys. B.
A survey on fuzzy fractional differential and optimal control nonlocal evolution equations
We survey some representative results on fuzzy fractional differential
equations, controllability, approximate controllability, optimal control, and
optimal feedback control for several different kinds of fractional evolution
equations. Optimality and relaxation of multiple control problems, described by
nonlinear fractional differential equations with nonlocal control conditions in
Banach spaces, are considered.Comment: This is a preprint of a paper whose final and definite form is with
'Journal of Computational and Applied Mathematics', ISSN: 0377-0427.
Submitted 17-July-2017; Revised 18-Sept-2017; Accepted for publication
20-Sept-2017. arXiv admin note: text overlap with arXiv:1504.0515
Krotov: A Python implementation of Krotov's method for quantum optimal control
We present a new open-source Python package, krotov, implementing the quantum optimal control method of that name. It allows to determine time-dependent external fields for a wide range of quantum control problems, including state-to-state transfer, quantum gate implementation and optimization towards an arbitrary perfect entangler. Krotov's method compares to other gradient-based optimization methods such as gradient-ascent and guarantees monotonic convergence for approximately time-continuous control fields. The user-friendly interface allows for combination with other Python packages, and thus high-level customization
- …