Anomalies in cyber-physical systems may arise due to malicious cyber attacks or operational faults in the physical devices. Accurately detecting the anomalies and isolating their root-causes is important for identifying appropriate reactive and preventive measures and building resilient cyber-physical systems. Anomaly detection and isolation in cyber-physical systems is challenging, because the...

1 I n t r o d u c t i o n This paper applies the idea of conspiracy numbers [McAllester, 1988] to derive two heuristic algorithms for searching and/or trees. The first algorithm turns out to be a member of the class of A O * best-first algo­ r i thms [Nilsson, 1980], but it conforms to the principle of sunk costs (a rule of economic rationality not respected by tradit ional and/or tree search a...

This paper describes an Ei el system for rapid testing of grammars Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as additional an notations The actions are high level descriptions not procedural code to transform a parse tree into a syntax tree A parser producing a syntax tree for a language sentence can be automatically generated from ...

In this thesis we investigate techniques for preventing recomputation in the execution of logic programs. One can reduce recomputation by eliminating subquery redundancy. This can be achieved by storing intermediate results, which are shared between identical subqueries. This is known as the tabulation technique. We consider top-down evaluation procedures incorporating a tabulation or `lemmatiz...

d e Interacting with a computer requires adopting some metaphor to guide our actions an xpectations. Most human-computer interfaces can be classified according to two r t dominant metaphors: agent or environment. Interactions based on an agent metapho reat the computer as an intermediary which responds to user requests. In the environd ment metaphor a model of the task domain is presented for t...

This study focused on student abil­ eluded student responses to various the statistical procedures also showed ity to analyze and interpret motion writing activities. Possible relation­ no significant relationship between graphs following laboratory instruction ships between individualleaming style students' learning style preferences using interactive digital video as well preferences and stud...

We report on GADGET a new software test generation system that uses combinatorial optimization to obtain condition decision coverage of C C programs The GADGET system is fully automatic and supports all C C language constructs This allows us to generate tests for programs more complex than those previously reported in the literature We address a number of issues that are encountered when automa...

I am immensely grateful to the commentators for all of their thoughts and probing questions about TO. My replies will focus on one or two central points from each article. Inevitably, need be selective. First, (§<) hold, facts that figure sides ‘ < ’ distinct. agree. Indeed, this is what distinguishes my asymmetric approach abstraction more traditional symmetric espoused by Frege, neo-Fregeans ...

Outside Piagetian theory sensory motor co ordinations are often relegated to the domain of mere motor skill but their development shares important features with that of cognitive structures This paper focusses on early action to assess the prospects for an account of development that is based on a system s initial mechanisms and processes of interaction with its environment without prespeci cat...

Neither design nor evolutionary approaches to building behavior based robots feature a role for development in the genesis of behavioral organization How ever the new Cog Project aims to build a humanoid robot that will display behavioral abilities observed in human infants and proposes making use of ideas from evolution and developmental psychology in its design This paper o ers a provisional ...