Filters








519,133 Hits in 6.2 sec

Model Reduction of Modules for State-Event Temporal Logics [chapter]

M. Lawford, J. S. Ostroff, W. M. Wonham
1996 IFIP Advances in Information and Communication Technology  
In many Discrete-Event Systems (DES) both state and event information are of importance to the systems designer.  ...  In this paper we use state-event observational equivalence to perform model reduction for a subclass of formulas of state-event linear temporal logics, with particular attention being paid to a discrete  ...  The first output sequence differs from the other two in the second state output while the second and third differ in the ordering of their connecting relations or "events".  ... 
doi:10.1007/978-0-387-35079-0_16 fatcat:d3r7wgeg5raq5aqnznvowuhlaq

Identification of industrial automation systems: Building compact and expressive Petri Net models from observable behavior

A. P. Estrada-Vargas, J-J Lesage, E. Lopez-Mellado
2012 2012 American Control Conference (ACC)  
The problem of obtaining Petri net (PN) models from the observable behavior, expressed as a sequence of input-output vectors, is addressed.  ...  First the problem is stated: important issues to handle in systems automated by Programmable Logic Controllers that cannot be dealt by other methods are detailed.  ...  CONCLUSIONS A method to discover the actual input-output relation of PLC controlled discrete event systems has been presented.  ... 
doi:10.1109/acc.2012.6315237 fatcat:3veprvzdxndcpkfg4glzqdshsi

A Synchronous Approach to Activity Recognition

Ines Sarray, Jean-Paul Rigault, Sabine Moisan, Daniel Gaffe
2018 2018 IEEE 12th International Conference on Semantic Computing (ICSC)  
In our target applications, the data coming from sensors (video-cameras, etc.) are first processed to recognize and track objects and to detect low-level events.  ...  We propose to describe activities as a series of actions, triggered and driven by environmental events.  ...  Environments memorize the status of their events in each instant. The goal of both semantics is to compute the status of output events from input event status.  ... 
doi:10.1109/icsc.2018.00058 dblp:conf/semco/SarrayRMG18 fatcat:7cdjm3liynhfjphjzivx234k5e

The expressive power of indeterminate dataflow primitives

Prakash Panangaden, Vasant Shanbhogue
1992 Information and Computation  
Replacing each such adjacent pair of events at pout and p,, by a single p-event, we obtain a computation sequence y' of the network N in which the output events on the shared port are also the input events  ...  That means that if there is a computation sequence y with event e on output port p occurring before an event e' on some other output port p', then there may be no computation sequence with e' preceding  ... 
doi:10.1016/0890-5401(92)90043-f fatcat:uj2xt7cjzvbkvo5ju7jd4dy7qi

Synthesis and equivalence of concurrent systems

Björn Lisper
1988 Theoretical Computer Science  
A framework for synthesis of synchronous concurrent systems with local memory is developed. Given an output specification of the system a cell action structure can be derived.  ...  This structure can be mapped into a communication structure, a model of the events in the target hardware with constraints on the communication possible between events, giving a schedule for the cell actions  ...  We will then know in advance which computational event(s) will yield the value of each computed function in the output specification.  ... 
doi:10.1016/0304-3975(88)90026-6 fatcat:4m7wmgha7zbklatfzkbenzx35m

Off-line identification of concurrent Discrete Event Systems exhibiting cyclic behaviour

Ana P. Estrada-Vargas, E. Lopez-Mellado, Jean-Jacques Lesage
2009 2009 IEEE International Conference on Systems, Man and Cybernetics  
This paper presents a method for the identification of concurrent Discrete Event Systems (DES) from input-output sequences representing the observed behavior.  ...  First, a sample of inputoutput vectors words are processed for obtaining sequences of output changes called events; then sequences of -length event traces are built and represented by an IPN model composed  ...  In a PN system, a transition t j is enabled at marking M k if p i P, M k (p i ) I(p i ,t j ); an enabled transition t j can be fired reaching a new marking M k+1 which can be computed as M k+1 = M k +  ... 
doi:10.1109/icsmc.2009.5346599 dblp:conf/smc/Estrada-VargasLL09 fatcat:vguhhajrbbhz7awtsvf333lc7i

The earlier the better

Marc Geilen, Stavros Tripakis, Maarten Wiggers
2011 Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11  
This is in contrast with the classical behavioral and functional refinements based on restricting sets of behaviors.  ...  Toward this, we introduce a theory of timed actors whose notion of refinement is based on the principle of worst-case design that permeates the world of performance-critical systems.  ...  An input-output event specification (IOES) for a set P of input ports and a set Q of output ports is a relation E ⊆ 2 P ×N × 2 Q×N .  ... 
doi:10.1145/1967701.1967707 dblp:conf/hybrid/GeilenTW11 fatcat:cekjqb3twzej7piyqowk4hb6mq

Assessing the Economic Loss and Social Impact of Information System Breakdowns [chapter]

Fabio Bisogni, Simona Cavallini
2010 IFIP Advances in Information and Communication Technology  
The vulnerability of information systems (VIS) model, which is based on the well-known input-output paradigm, simulates information system disruptions and assesses their socio-economic impact in the dynamic  ...  The pervasiveness of information systems raises security and business continuity issues related to their disruption.  ...  Acknowledgements This research was supported by the Prevention, Preparedness and Consequence Management of Terrorism and Other Security Related Risks Programme [3] of the European Commission's Directorate-General  ... 
doi:10.1007/978-3-642-16806-2_13 fatcat:2klrua5xbjbldhcn6qfjehttli

SML-Sys: a functional framework with multiple models of computation for modeling heterogeneous system

Deepak A. Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch
2008 Design automation for embedded systems  
High-level modeling of such systems require frameworks that provide designers with the ability to express concepts of models of computation (MoC)s as modeling constructs.  ...  In such frameworks, the computation and communication aspects between the components of models get intertwined thereby hindering its amenability to formal analysis.  ...  Then, every event is time-wise related to every other event in the system in the sense that the two time tags of two arbitrary events unambiguously determine if one event occurs before, at the same time  ... 
doi:10.1007/s10617-008-9012-4 fatcat:xtxsl7jehnfnpptc5w6srw575i

Prerequisite confidentiality

John P. Nestor, E. S. Lee
1994 Proceedings of the 2nd ACM Conference on Computer and communications security - CCS '94  
We have developed a modelling scheme that is based upon event systems in order to study prerequisite confidentiality. The structure of the event traces is captured by formal languages and grammars.  ...  Since all of the grammars used in the specification technique fall into a particular class, we show that it is always possible to construct a recognizer that can be used to identify valid event sequences  ...  In addition, event systems allow for the representation of computer and other "real world" systems at a wide range of levels of detail.  ... 
doi:10.1145/191177.191245 dblp:conf/ccs/NestorL94 fatcat:7rtijapcmfaq7kkfaai65bct7e

A Programming Model for Time-Synchronized Distributed Real-Time Systems

Yang Zhao, Jie Liu, Edward A. Lee
2007 Real Time and Embedded Technology and Applications Symposium (RTAS), IEEE  
In this paper, we extend DE models with the capability of relating certain events to physical time.  ...  Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via time-stamped events.  ...  Embedded Software Systems), which receives support from NSF, the State of California Micro Program, and the following companies: Agilent, Bosch, DGIST, General Motors, Hewlett Packard, Microsoft, National  ... 
doi:10.1109/rtas.2007.5 dblp:conf/rtas/ZhaoLL07 fatcat:lzadwgskmrhn3duwccfm3y3bkm

Nonexpressibility of fairness and signaling

David McAllester, Prakash Panangaden, Vasant Shanbhogue
1993 Journal of computer and system sciences (Print)  
These results are proved using a very crude notion of observation and thus apply in any reasonable theory of process equivalence.  ...  We also show that the ability to announce internal choices enhances the expressive power of two of the primitives.  ...  i output events at output port p, i being less than the length of H""'(p), then there is a computation sequence extending y in which the next non-internal event after the events in y is (p, H'"'(p)[i+  ... 
doi:10.1016/0022-0000(93)90034-t fatcat:kt6c3iaahvhfnfwmdrglkptda4

Temporal Modeling of Neural Net Input/Output Behaviors: The Case of XOR

Bernard Zeigler, Alexandre Muzy
2017 Systems  
and outputs.  ...  We conclude with implications made when contrasting our time-based neural computation systems to ANN for what real brain computations might involve.  ...  We review the concepts of input/output behavior and their relation to the internal system specification in greater depth.  ... 
doi:10.3390/systems5010007 fatcat:nq3aygrnmvesparmvgzc4hkgeq

System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis

Kyou Ho LEE, Jeong Hee Hong, Tag Gon Kim
2015 ETRI Journal  
Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.  ...  The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation  ...  C 1 … C N P C 1 C M … P 1 P N … (a) (b) … (c) ( CPS CPS CPS C P C P N P 1 C 1 C M P N P 1 P 1 C N C 1 C P 1 P N Fig Joint Analysis of CPS Subsystems Constituent systems of CPSs perform disparate functions  ... 
doi:10.4218/etrij.15.0114.0863 fatcat:my2ggv7ttreexcb5ottyjw72hq

Models of Embedded Computation [chapter]

Axel Jantsch
2005 Embedded Systems Handbook  
Further it applies repeatedly f on the current state and the input event to compute the output event. p consumes exactly one input event in each evaluation cycle and emits exactly one output event.  ...  Function g computes the next state and f computes the output events with the constraint that the output events do not occur earlier than the input events on which they depend.  ... 
doi:10.1201/9781420038163.ch4 fatcat:p5jwvjxijfg5hhdnu7q34q6jnm
« Previous Showing results 1 — 15 out of 519,133 results