Observability of continuous Petri nets with infinite server semantics

Timed continuous Petri net (contPN) systems with infinite server semantics are nonlinear systems, particularly a subclass of piecewise linear (PWL) systems. This paper addresses several problems regarding the state observability of these systems. We assume that the initial marking/state is not known and by measuring the marking of some places we want to estimate all the others. First, a study of the different linear systems corresponding to a continuous Petri net system is performed. It is shown that in some cases, some of them are redundant, and so can be disregarded. The notion of distinguishable modes is introduced which helps us in giving a necessary and sufficient criterion for the observability in infinitesimal time. Structural observability, i.e., observability for all possible values of firing rates of transitions, is studied and it is proved that in some cases it can be reduced to a linear problem, even if the system is nonlinear. Using results from linear structured systems, the concept of weak structural or generic observability is considered.     

A bound on the treewidth of planar even-hole-free graphs

The class of planar graphs has unbounded treewidth, since the k×k grid, ∀k∈N, is planar and has treewidth k. So, it is of interest to determine subclasses of planar graphs which have bounded treewidth. In this paper, we show that if G is an even-hole-free planar graph, then it does not contain a 9×9 grid minor. As a result, we have that even-hole-free planar graphs have treewidth at most 49.     

Periodic problem for a nonlinear‐damped wave equation on the boundary

In this work we investigate the existence of periodic solutions in t for the following problem: We employ elliptic regularization and monotone method. We consider $\mbox{\boldmath{$\Omega$}}\mbox{\boldmath{$\subset$}}{\mathbb{R}}^{{{n}}} \ (n\geqslant 1)$ an open bounded set that has regular boundary Γ and Q=Ω ×(0,T), T>0, a cylinder of ${\mathbb{R}}^{n+1}$ with lateral boundary Σ = Γ × (0,T). Copyright © 2009 John Wiley & Sons, Ltd.     

Random telegraph signals with time dependent capture and emission probabilities: Analytical and numerical results

In this work, we study the noise spectra of random telegraph signals (RTS) with time dependent capture and emission probabilities. The capture and emission probabilities are made time dependent by cyclo-stationary excitation. Rigorous analytical calculations are performed to derive the model equations, and Monte Carlo simulations are performed to explore the noise behavior and validate the analytical model. Two study cases are explored: input signals modeled by periodic square wave and sinusoidal waves. We present clear situations where the integrated noise power is smaller than stationary case for a suitable choice of parameters in both cyclo-stationary inputs studied.     

On elliptic problems involving critical Hardy-Sobolev exponents and sign-changing function

In this paper, we deal with the existence and nonexistence of nonnegative nontrivial weak solutions for a class of degenerate quasilinear elliptic problems with weights and nonlinearity involving the critical Hardy-Sobolev exponent and a sign-changing function. Some existence results are obtained by splitting the Nehari manifold and by exploring some properties of the best Hardy-Sobolev constant together with an approach developed by Brezis and Nirenberg.     

Quasilinear elliptic problems under strong resonance conditions

In this paper we establish the existence and multiplicity of solutions for a quasilinear elliptic problem under strong resonance conditions at infinity. In order to control the resonance we consider a new hypothesis on the nonlinear term. In all results we use Variational Methods, Critical Groups and the Morse Theory.     

Conformally flat sources for the Linet–Tian spacetime

We investigate the matching, across cylindrical surfaces, of static cylindrically symmetric conformally flat spacetimes with a cosmological constant $\Lambda $ , satisfying regularity conditions at the axis, to an exterior Linet–Tian spacetime. We prove that for $\Lambda \le 0$ such matching is impossible. On the other hand, we show through simple examples that the matching is possible for $\Lambda >0$ . We suggest a physical argument that might explain these results.