In order to optimize programs of three dimensional t-model nonlinear algebraic Hybrid Systems and eliminate system states, approximate completed trace equivalence of three dimensional t-model nonlinear algebraic Hybrid Systems is proposed. Firstly, the three dimensional t-model nonlinear algebraic program is used to describe the system continuous transition behavior. Then, the approximate of th...

in this paper, the maximal dissipative extensions of a symmetric singular 1d discrete hamiltonian operator with maximal deficiency indices (2,2) (in limit-circle cases at ±∞) and acting in the hilbert space ℓ_{ω}²(z;c²) (z:={0,±1,±2,...}) are considered. we consider two classes dissipative operators with separated boundary conditions both at -∞ and ∞. for each of these cases we establish a self...

Verification methodologies for real-time systems can be classified according to whether they are based on a continuous time model or a discrete time model. Continuous time often provides a more accurate model of physical reality, while discrete time can be more efficient to implement in an automatic verifier based on state exploration techniques. Choosing a model appears to require a compromise...

Communicating Sequential Processes (CSP) is a well-known formal language for describing concurrent systems, where transition semantics for it has been given by Brookes, Hoare and Roscoe [1]. In this paper, we present trace refinement model analysis tools based on a generalized transition semantics of CSP, which we call HCSP, that merges the original transition system with ideas from Floyd-Hoare...

A series of symmetric multidentate Schiff base ligands 1–13 based on the N‚N′-4‚4′-ethylenebiphenylbis-3-methoxysalicylideneimine for used to bind various transition metals detection of K, AgI‚ CuII, Sr II Co II and NiII at trace levels in real-world samples has been synthesized purified and their structures was characterized.

A great challenge for modern systems theory is the design of controllers for continuous systems but with logical specifications. In this paper, we are interested in developing algorithmic methods which given a discretetime controllable linear system and a discrete specification (in the form of a finite transition system or a temporal logic formula), automatically design controllers resulting in...

The specification of delay-insensitive, asynchronous circuits can be undertaken in a variety of ways. Two methods discussed in this paper involve Trace Theory and Signal Transition Graphs. Trace Theory is used to describe the behavior of circuits in terms of sequences (or traces) of signals. These traces can be composed to express cooperative behavior. However, the resultant composite often suf...