Hybrid ASP

This paper introduces an extension of Answer Set Programming (ASP) called Hybrid ASP which will allow the user to reason about dynamical systems that exhibit both discrete and continuous aspects. The unique feature of Hybrid ASP is that it allows the use of ASP type rules as controls for when to apply algorithms to advance the system to the next position. That is, if the prerequisites of a rule are satisfied and the constraints of the rule are not violated, then the algorithm associated with the rule is invoked

Delayed predicate algorithm evaluation in hybrid answer set programming (ASP)

A hybrid answer set programming (ASP) solver is a logic programming type solver with a variety of applications, e.g., diagnosing software failures, modeling dynamical systems, etc. A hybrid ASP solver finds solutions for hybrid ASP programs, which are sets of hybrid ASP rules. Hybrid ASP rules include stationary rules with associated predicate algorithms and advancing rules with associated advancing algorithms. Solutions to hybrid ASP programs are found iteratively by starting with an initial state and producing consequent states. Part of computing a consequent state involves determination of the stationary rules that are applicable at the consequent state. This in turn involves evaluating predicate algorithms associated with the rules. This approach is inefficient, since it requires that all the predicate algorithms be evaluated in all the states. The techniques of this disclosure avoid the inefficiency of evaluating predicate algorithms by adding auxiliary rules that enable intelligent guesses as to whether an algorithm will accept or reject, in turn enabling the continued evaluation of the rules without the evaluation of the algorithms

Hybrid-cascade Coupled-Line Phasers for High-resolution Radio-Analog Signal Processing

A hybrid-cascade (HC) coupled-line phaser configuration is presented to synthesize enhanced group delay responses for high-resolution Radio-Analog Signal Processing (R-ASP). Using exact analytical transfer functions, the superiority of HC coupled-line phasers over conventional transversally cascaded C-section phasers is demonstrated and verified using full-wave simulations.Comment: 2 pages, 5 figure