Albert Benveniste

Concurrency, sigma-algebras and probabilistic fairness (2009)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Why are modalities good for Interface Theories? (2009)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting ``aspects'' and ``assume/guarantee'' reasoning. From these considerations, we show...

Why are modalities good for Interface Theories? (2009)

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting ``aspects'' and ``assume/guarantee'' reasoning. From these considerations, we show...

Why are modalities good for Interface Theories? (2009)

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting "aspects" and "assume/guarantee" reasoning. From these considerations, we show that,...

Why are modalities good for Interface Theories? (2009)

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting "aspects" and "assume/guarantee" reasoning. From these considerations, we show that,...

A Theory of QoS for Web Service Orchestrations (2009)

A Theory of QoS for Web Service Orchestrations (2009)

While extensive foundational work exist for the functional aspects of Web service orchestrations, very little exists regarding the foundations of Service Level Agreements (SLA), Service Level...

Distributed Active XML and Service Interfaces (2009)

While extensive foundational work exist for the functional aspects of Web service orchestrations, very little exists regarding the foundations of Service Level Agreements (SLA), Service Level...

Distributed Active XML and Service Interfaces (2009)

Guarded Active XML (GAXML) was proposed by Abiteboul, Segoufin, and Vianu, as a high-level specification language tailored for data-intensive, distributed, dynamic Web services. GAXML consists in XML...

Distributed Active XML and Service Interfaces (2009)

Guarded Active XML (GAXML) was proposed by Abiteboul, Segoufin, and Vianu, as a high-level specification language tailored for data-intensive, distributed, dynamic Web services. GAXML consists in XML...

Why are modalities good for Interface Theories? (2009)

Guarded Active XML (GAXML) was proposed by Abiteboul, Segoufin, and Vianu, as a high-level specification language tailored for data-intensive, distributed, dynamic Web services. GAXML consists in XML...

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting "aspects" and "assume/guarantee" reasoning. From these considerations, we show that,...

A Theory of QoS for Web Service Orchestrations (2009)

Why are modalities good for Interface Theories? (2009)

While extensive foundational work exist for the functional aspects of Web service orchestrations, very little exists regarding the foundations of Service Level Agreements (SLA), Service Level...

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting ``aspects'' and ``assume/guarantee'' reasoning. From these considerations, we show...

Concurrency, sigma-algebras and probabilistic fairness (2009)

Distributed Active XML and Service Interfaces (2009)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Why are modalities good for Interface Theories? (2009)

Guarded Active XML (GAXML) was proposed by Abiteboul, Segoufin, and Vianu, as a high-level specification language tailored for data-intensive, distributed, dynamic Web services. GAXML consists in XML...

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting "aspects" and "assume/guarantee" reasoning. From these considerations, we show that,...

A Theory of QoS for Web Service Orchestrations (2009)

Why are modalities good for Interface Theories? (2009)

While extensive foundational work exist for the functional aspects of Web service orchestrations, very little exists regarding the foundations of Service Level Agreements (SLA), Service Level...

Raclet, Jean-Baptiste, Badouel, Eric, Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting ``aspects'' and ``assume/guarantee'' reasoning. From these considerations, we show...

Concurrency, sigma-algebras and probabilistic fairness (2009)

Concurrency, sigma-algebras and probabilistic fairness (2009)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Concurrency, sigma-algebras and probabilistic fairness (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Concurrency, sigma-algebras and probabilistic fairness (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Concurrency, sigma-algebras and probabilistic fairness (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Concurrency, sigma-algebras and probabilistic fairness (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

QoS monitoring of soft contracts for transaction based Web services orchestrations ⋆ (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Albert Benveniste, Stefan Haar, Claude Jard, Sidney Rosario

Abstract. Web services orchestrations and choreographies require establishing Quality of Service (QoS) contracts with the user. This is achieved by performing QoS composition, based on contracts...

Abstract (2008)

Marco Di Natale, Scuola S. Anna, Claudio Pinello, Albert Benveniste

Most automotive applications today consist of a set of interacting tasks. These applications are implemented on a distributed architecture consisting of several ECUs connected by buses. Although...

ABSTRACT Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA) ∗ (2008)

We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses diverse models of...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

net (2008)

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

of asynchronous discrete event systems, a

Non-massive, non-high performance, distributed computing: selected issues ⋆ (2008)

Concurrency, probabilistic fairness and sigma-algebras (2008)

Abstract There are important distributed computing systems which are neither massive nor high performance. Examples are: telecommunications systems, transportation or power networks, embedded control...

Concurrency, probabilistic fairness and sigma-algebras (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Jan-Erik Str"omberg (2008)

We give an interpretation through sigma-algebras of phenomena encountered in concurrency theory when dealing with "infinite confusion"--the extreme opposite of confusion-free event structures. The...

Simin Nadjm-tehrani, Albert Benveniste

3

Event Structure Semantics of Orc (2008)

Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Claude Jard

Abstract. One challenge in developing wide-area distributed applications is analyzing the system’s non-functional properties, including timing constraints and internal dependencies that can affect...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling ⋆ (2008)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-vincentelli

Abstract. Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over distributed...

ABSTRACT Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA) ∗ (2008)

ABSTRACT Tag Machines ∗ (2008)

We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses diverse models of...

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-vincentelli

Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagged systems, a...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Concurrency, sigma-algebras, and probabilistic fairness (2008)

Concurrency, sigma-algebras, and probabilistic fairness (2008)

We extend previous constructions of probabilities for a prime event structure by allowing arbitrary confusion. Our study builds on results related to fairness in event structures that are of interest...

Probabilistic true-concurrency models: Markov nets and a Law of large numbers (2008)

We extend previous constructions of probabilities for a prime event structure by allowing arbitrary confusion. Our study builds on results related to fairness in event structures that are of interest...

Probabilistic true-concurrency models: Markov nets and a Law of large numbers (2008)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. This...

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. This...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Probabilistic true-concurrency models: Markov nets and a Law of large numbers (2008)

Concurrency, sigma-algebras, and probabilistic fairness (2008)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. This...

We extend previous constructions of probabilities for a prime event structure by allowing arbitrary confusion. Our study builds on results related to fairness in event structures that are of interest...

Bouillard, Anne, Rosario, Sidney, Benveniste, Albert, Haar, Stefan

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in...

Probabilistic true-concurrency models: Markov nets and a Law of large numbers (2008)

Concurrency, sigma-algebras, and probabilistic fairness (2008)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. This...

Probabilistic true-concurrency models: Markov nets and a Law of large numbers (2008)

We extend previous constructions of probabilities for a prime event structure by allowing arbitrary confusion. Our study builds on results related to fairness in event structures that are of interest...

BLIND SUBSPACE-BASED EIGENSTRUCTURE IDENTIFICATION UNDER NONSTATIONARY EXCITATION USING MOVING SENSORS (2007)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This means that traces, not firing sequences, are given a probability. This...

Basseville Maurice Goursat, Laurent Mevel, Laurent Mevel, Albert Benveniste, Albert Benveniste, Projet Sigma

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors

y (2007)

Albert Benveniste, Thierry Gautier, Paul Le Guernic, Eric Rutten

Distributed code generation of dataflow synchronous programs: the SACRES approach

The following people have also contributed to the writing of this paper. These (2007)

Albert Benveniste, Leszek Holenderski, Klaus Winkelmann, Eric Sefton (bae, Eric Rutten, Paul Le Guernic

In addition to the listed authors, all participants to the SACRES project are gratefully acknowledged. SACRES members are: Siemens ( Lead partner), i-Logix,

Probabilistic Branching Processes for Fault Diagnosis in Concurrent Systems (2007)

Stefan Haar, Albert Benveniste, Eric Fabre

For distributed systems, i.e. large networked complex systems, there is a drastic di erence between a local view and knowledge of the system, and its global view. Distributed systems have local state...

Preface (2007)

Axel Poign March, Albert Benveniste, Albert Benveniste, Axel Poign

This is the second workshop dedicated to the "Formal Design of Safety Critical Embedded Systems'". The theme appears to be well established in industry by now. Still one might...

BDL: A Semantics Backbone for UML Dynamic Aspects (2007)

Benoit Caillaud, Jean-pierre Talpin, Albert Benveniste, Claude Jard

The Uml (Unified Modelling Language) offers a coherent set of notations, to model static, behavioural, and deployment aspects of a design. Dynamic diagrams provide descriptions of the components and...

1.1 The Essentials of the Synchronous Paradigm (2007)

Albert Benveniste, Benoit Caillaud, Jean-pierre Talpin, Paul Le Guernic

Here we summarize the results about what synchronous program desynchronisation means, and how it can be performed. Perspectives are drawn.

DRAFT DIAGNOSIS OF DISTRIBUTED DISCRETE EVENT SYSTEMS, A NET UNFOLDING APPROACH (2007)

Eric Fabre, Albert Benveniste, Claude Jard, Mark Smith

Diagnosis of distributed discrete event systems, a net unfolding approach

CDC00-REG1625 Distributed State Reconstruction for Discrete Event Systems 1 (2007)

Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, Mark Smith

We consider a discrete event dynamic system (DEDS) obtained by the parallel composition of several subsystems. Each subsystem can be seen as a standard stochastic DEDS. The composed system is...

Subspace-based (2007)

Michle Basseville, Maher Abdelghani, Albert Benveniste

fault detection algorithms for vibration monitoring

Steelquake modes and modeshapes identification from multiple (2007)

Laurent Mevel, Maurice Goursat, Mich Ele Basseville, Albert Benveniste

sensor pools

z (2007)

Jean-pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Albert Benveniste, Benoit Caillaud, Benoit Caillaud, ...

apport de recherche

of Hybrid Systems (2007)

ASYNCHRONOUS DEPLOYMENT OF SYNCHRONOUS TRANSITION SYSTEMS (2007)

Abstract This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing...

Jean-pierre Talpin, Albert Benveniste, Paul Le Guernic

Asynchronous deployment of synchronous transition systems

PRE-ORDER SEMANTICS OF UML STATE-MACHINES (2007)

Yunming Wang, Yunming Wang, Jean-pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Paul Le Guernic, ...

Th`eme 1--- R'eseaux et syst`emes

HIDDEN MARKOV MODELS FOR DISTRIBUTED AND CONCURRENT SYSTEMS (2007)

Eric Fabre, Stefan Haar, Albert Benveniste, Albert Benveniste

Hidden Markov Models for distributed and concurrent systems

Contents (2007)

Anatoli Juditsky, Hakan Hjalmarsson, Albert Benveniste, Bernard Delyon, Lennart Ljung, Jonas Sjoberg, ...

Detection and Diagnosis of Small Changes in Nonlinear (2007)

Systems Application To, Albert Benveniste, Qinghua Zhang

In this paper, we describe a general approach for detecting small changes, which can be applied to a wide class of nonlinear systems, and which can manage with a reduced order and biased signature of...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

A Generic Model of Contracts for Embedded Systems (2007)

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

A Generic Model of Contracts for Embedded Systems (2007)

Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

A Generic Model of Contracts for Embedded Systems (2007)

Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

Partial order techniques for discrete event systems: why you can't avoid using them. (2007)

Partial order techniques for discrete event systems: why you can't avoid using them. (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Modeling and Estimation of Multiresolution Stochastic Processes (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Basseville, Michele, Benveniste, Albert, Chou, Kenneth C., Golden, Stuart A., Nikoukhah, Ramine, Willsky, Alan S.

In this paper, we provide an overview of the several components of a research effort aimed at the development of a theory of multiresolution stochastic modeling and associated techniques for optimal...

Multi-Scale Autoregressive Processes (2007)

Basseville, Michele, Benveniste, Albert, Willsky, Alan S.

In many applications (e.g. recognition of geophysical and biomedical signals and multiscale analysis of images), it is of interest to analyze and recognize phenomena occuring at different scales The...

A Generic Model of Contracts for Embedded Systems (2007)

Benveniste, Albert, Caillaud, Benoît, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

A Generic Model of Contracts for Embedded Systems (2007)

Benveniste, Albert, Caillaud, Benoît, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Loosely Time-Triggered Architectures based on Communication-by-Sampling (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Benveniste, Albert, Caspi, Paul, Di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the communication...

Loosely Time-Triggered Architectures based on Communication-by-Sampling (2007)

Benveniste, Albert, Caspi, Paul, Di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the communication...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Truly Concurrent Synchronization of Markov Chains (2007)

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Truly Concurrent Synchronization of Markov Chains (2007)

We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial...

Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion (2007)

We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial...

Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel

This paper reports on the theory and practice of covariance-driven output-only and input/output subspace-based identification and detection algorithms. The motivating and investigated application...

Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion (2007)

Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel

This paper reports on the theory and practice of covariance-driven output-only and input/output subspace-based identification and detection algorithms. The motivating and investigated application...

Truly Concurrent Synchronization of Markov Chains (2007)

A Generic Model of Contracts for Embedded Systems (2007)

We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial...

Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Loosely Time-Triggered Architectures based on Communication-by-Sampling (2007)

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Benveniste, Albert, Caspi, Paul, Di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the communication...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Truly Concurrent Synchronization of Markov Chains (2007)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

A Generic Model of Contracts for Embedded Systems (2007)

We study the synchronization of two discrete Markov chains that share common states. Markov chains define transition systems, and we consider the synchronization product of these from the partial...

Benveniste, Albert, Caillaud, Benoit, Passerone, Roberto

We present the mathematical foundations of the contract-based model developed in the framework of the SPEEDS project. SPEEDS aims at developing methods and tools to support "speculative design", a...

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Loosely Time-Triggered Architectures based on Communication-by-Sampling (2007)

Rosario, Sidney, Kitchin, David, Benveniste, Albert, Cook, William, Haar, Stefan, Jard, Claude

One challenge in developing wide-area distributed applications is analyzing the system's non-functional properties, including timing constraints and internal dependencies that can affect quality of...

Benveniste, Albert, Caspi, Paul, Di Natale, Marco, Pinello, Claudio, Sangiovanni-Vincentelli, Alberto, Tripakis, Stavros

We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the communication...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2007)

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures (2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. Here we address probabilistic event structures. We consider a new class of event...

Net systems semantics of Web Services Orchestrations modeled in Orc (2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. Here we address probabilistic event structures. We consider a new class of event...

Rosario, Sydney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Net systems semantics of Web Services Orchestrations modeled in Orc (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Net systems semantics of Web Services Orchestrations modeled in Orc (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and...

Multiscale System Theory (2006)

Benveniste, Albert, Nikoukhah, Ramine, Willsky, Alan S.

In many applications, it is of interest to analyze and recognize phenomena occurring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

Potop-Butucaru, Dumitru, Caillaud, Benoît, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Potop-Butucaru, Dumitru, Caillaud, Benoît, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures (2006)

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures (2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. Here we address probabilistic event structures. We consider a new class of event...

Communication by Sampling in Time-Sensitive Distributed Systems (2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. Here we address probabilistic event structures. We consider a new class of event...

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-vincentelli, Stavros Tripakis

In time-sensitive systems writing to and reading from the communication medium is on a purely time-triggered but asynchronous basis. Writes and reads can occur at any time and the data are stored and...

DocFlow: analysis, monitoring, and optimization of Web documents and services (2006)

Anca Muscholl, Serge Abiteboul, Albert Benveniste

DocFlow builds on the Active XML formalism for data exchange across peers on the Web, developed by one of the participating teams. The project aims at achieving convergence of data and workflow...

Communication by Sampling in Time-Sensitive Distributed Systems (2006)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-vincentelli, Stavros Tripakis

In time-sensitive systems writing to and reading from the communication medium is on a purely time-triggered but asynchronous basis. Writes and reads can occur at any time and the data are stored and...

Probabilistic models for true-concurrency: branching cells and distributed probabilities for event structures (2006)

Net systems semantics of Web Services Orchestrations modeled in Orc (2006)

This paper is devoted to probabilistic models for concurrent systems under their true-concurrency seman- tics. Here we address probabilistic event structures. We consider a new class of event...

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and...

Potop-Butucaru, Dumitru, Caillaud, Benoit, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Net systems semantics of Web Services Orchestrations modeled in Orc (2006)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

Rosario, Sidney, Benveniste, Albert, Haar, Stefan, Jard, Claude

Web Services Orchestrations require a firm mathematical basis for their development. We start from the Orc formalism proposed by J. Misra and co-workers, at Austin University. Orc is small and...

Potop-Butucaru, Dumitru, Caillaud, Benoit, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Partial Order Techniques for Distributed Discrete Event Systems: why you can't avoid using them (2006)

Nonstationary consistency of subspace method (2005)

Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for Discrete Event Systems properly...

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers (2005)

In this paper we study ``nonstationary consistency'' of subspace methods for eigenstructure identification, i.e., the ability of subspace algorithms to converge to the true eigenstructure despite...

Nonstationary consistency of subspace method (2005)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures....

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers (2005)

In this paper we study ``nonstationary consistency'' of subspace methods for eigenstructure identification, i.e., the ability of subspace algorithms to converge to the true eigenstructure despite...

Nonstationary consistency of subspace method (2005)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures....

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers (2005)

In this paper we study ``nonstationary consistency'' of subspace methods for eigenstructure identification, i.e., the ability of subspace algorithms to converge to the true eigenstructure despite...

Branching cells as local states for event structures and nets: probabilistic applications (2005)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures....

Branching cells as local states for event structures and nets: probabilistic applications (2005)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Branching cells as local states for event structures and nets: Probabilistic applications (2005)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Samy Abbes, Albert Benveniste

Abstract. We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced...

Branching cells as local states for event structures and nets: probabilistic applications (2005)

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers (2005)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Nonstationary consistency of subspace method (2005)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures....

Branching cells as local states for event structures and nets: probabilistic applications (2005)

In this paper we study ``nonstationary consistency'' of subspace methods for eigenstructure identification, i.e., the ability of subspace algorithms to converge to the true eigenstructure despite...

True-concurrency Probabilistic Models: Markov Nets and a Law of Large Numbers (2005)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Nonstationary consistency of subspace method (2005)

We introduce the model of Markov nets, a probabilistic extension of safe Petri nets under the true-concurrency semantics. This model builds upon our previous work on probabilistic event structures....

Branching cells as local states for event structures and nets: probabilistic applications (2005)

In this paper we study ``nonstationary consistency'' of subspace methods for eigenstructure identification, i.e., the ability of subspace algorithms to converge to the true eigenstructure despite...

Branching cells as local states for event structures and nets: probabilistic applications (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

In-flight structural identification:input/output versus output-only data processing (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice, Peeters, Bart, Van Der Auweraer, Herman, ...

The problem of in-flight data analysis, for the purpose of structural model identification under both measured and uncontrolled non-stationary excitation, is addressed. Input/output and output-only...

Potop-Butucaru, Dumitru, Caillaud, Benoît, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)

Benveniste, Albert, Caillaud, Benoit, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...

Branching cells as local states for event structures and nets: probabilistic applications (2004)

In-flight structural identification:input/output versus output-only data processing (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice, Peeters, Bart, Van Der Auweraer, Herman, ...

The problem of in-flight data analysis, for the purpose of structural model identification under both measured and uncontrolled non-stationary excitation, is addressed. Input/output and output-only...

Potop-Butucaru, Dumitru, Caillaud, Benoît, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Distributed monitoring of concurrent and asynchronous systems---extended version (2004)

Benveniste, Albert, Haar, Stefan, Fabre, Eric, Jard, Claude

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on PN...

Branching cells as local states for event structures and nets: probabilistic applications (2004)

In-flight structural identification:input/output versus output-only data processing (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice, Peeters, Bart, Van Der Auweraer, Herman, ...

The problem of in-flight data analysis, for the purpose of structural model identification under both measured and uncontrolled non-stationary excitation, is addressed. Input/output and output-only...

Potop-Butucaru, Dumitru, Caillaud, Benoît, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)

Benveniste, Albert, Caillaud, Benoît, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...

Distributed monitoring of concurrent and asynchronous systems---extended version (2004)

Benveniste, Albert, Haar, Stefan, Fabre, Eric, Jard, Claude

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on PN...

Recursive output-only subspace identification for in-flight flutter monitoring (2004)

Ivan Goethals, Laurent Mevel, Albert Benveniste, Bart De Moor

In this paper a new recursive output-only identification algorithm is proposed based on stochastic realization, a classical covariance driven subspace identification technique. The recursive...

Concurrency in Synchronous Systems (2004)

Dumitru Potop-Butucaru, Benoit Caillaud, Albert Benveniste

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Dumitru Potop-butucaru, Benoît Caillaud, Albert Benveniste

Abstract. In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

In-flight structural identification:input/output versus output-only data processing (2004)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice, Peeters, Bart, Van Der Auweraer, Herman, ...

The problem of in-flight data analysis, for the purpose of structural model identification under both measured and uncontrolled non-stationary excitation, is addressed. Input/output and output-only...

Distributed monitoring of concurrent and asynchronous systems---extended version (2004)

Benveniste, Albert, Haar, Stefan, Fabre, Eric, Jard, Claude

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on PN...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)

Benveniste, Albert, Caillaud, Benoit, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...

Branching cells as local states for event structures and nets: probabilistic applications (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Potop-Butucaru, Dumitru, Caillaud, Benoit, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

In-flight structural identification:input/output versus output-only data processing (2004)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice, Peeters, Bart, Van Der Auweraer, Herman, ...

The problem of in-flight data analysis, for the purpose of structural model identification under both measured and uncontrolled non-stationary excitation, is addressed. Input/output and output-only...

Distributed monitoring of concurrent and asynchronous systems---extended version (2004)

Benveniste, Albert, Haar, Stefan, Fabre, Eric, Jard, Claude

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on PN...

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling (2004)

Benveniste, Albert, Caillaud, Benoit, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-by-construction deployment of synchronous designs over distributed...

Branching cells as local states for event structures and nets: probabilistic applications (2004)

We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously introduced for nets....

Potop-Butucaru, Dumitru, Caillaud, Benoit, Benveniste, Albert

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of...

Fast in-flight detection of flutter onset -A statistical approach (2003)

Mevel, Laurent, Basseville, Michèle, Benveniste, Albert

The flutter monitoring problem is investigated from a detection (and not prediction) point of view, and stated as a statistical hypotheses testing problem regarding a specified damping coefficient....

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Benveniste, Albert, Carloni, Luca P., Caspi, Paul, Sangiovanni-Vincentelli, Alberto

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

Distributed monitoring of concurrent and asynchronous systems---extended version (2003)

Benveniste, Albert, Haar, Stefan, Fabre, Eric, Jard, Claude

In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our approach relies on PN...

Fast in-flight detection of flutter onset -A statistical approach (2003)

Mevel, Laurent, Basseville, Michèle, Benveniste, Albert

The flutter monitoring problem is investigated from a detection (and not prediction) point of view, and stated as a statistical hypotheses testing problem regarding a specified damping coefficient....

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Benveniste, Albert, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

Fast in-flight detection of flutter onset -A statistical approach (2003)

Mevel, Laurent, Basseville, Michèle, Benveniste, Albert

The flutter monitoring problem is investigated from a detection (and not prediction) point of view, and stated as a statistical hypotheses testing problem regarding a specified damping coefficient....

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Benveniste, Albert, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

Diagnosis of asynchronous discrete-event systems: A net unfolding approach (2003)

Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard

Abstract—In this paper, we consider the diagnosis of asynchronous discrete event systems. We follow a so-called true concurrency approach, in which no global state and no global time is available....

Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)

Albert Benveniste, Luca P. Carloni, Paul Caspi

Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We...

Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)

Albert Benveniste, Albert Benveniste, Luca P. Carloni, Luca P. Carloni, Paul Caspi, Paul Caspi, ...

Publication interne n˚1549 — Août 2003 — 23 pages Abstract: We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish...

Diagnosis of asynchronous discrete event systems, a net unfolding approach (2003)

Albert Benveniste, Albert Benveniste, Eric Fabre, Eric Fabre, Claude Jard, Claude Jard, ...

Diagnosis of asynchronous discrete event systems, a net unfolding approach

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

The synchronous languages 12 years later (2003)

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert, ...

Twelve years ago, PROCEEDINGS OF THE IEEE devoted a special section to the synchronous languages. This paper discusses the improvements, difficulties, and successes that have occured with the...

Diagnosis of asynchronous discrete event systems, a net unfolding approach (2003)

Albert Benveniste, Albert Benveniste, Eric Fabre, Eric Fabre, Claude Jard, Claude Jard, ...

Diagnosis of asynchronous discrete event systems, a net unfolding approach * **

The synchronous languages twelve years later (2003)

Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone

Abstract — Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous languages. This article discusses the improvements, difficulties, and successes that have occured...

Heterogeneous reactive systems modeling and correct-by-construction deployment (2003)

Albert Benveniste, Luca P. Carloni, Paul Caspi

Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We...

Fast in-flight detection of flutter onset -A statistical approach (2003)

Mevel, Laurent, Basseville, Michèle, Benveniste, Albert

The flutter monitoring problem is investigated from a detection (and not prediction) point of view, and stated as a statistical hypotheses testing problem regarding a specified damping coefficient....

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Benveniste, Albert, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

Fast in-flight detection of flutter onset -A statistical approach (2003)

Mevel, Laurent, Basseville, Michèle, Benveniste, Albert

The flutter monitoring problem is investigated from a detection (and not prediction) point of view, and stated as a statistical hypotheses testing problem regarding a specified damping coefficient....

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment (2003)

Benveniste, Albert, Carloni, Luca, Caspi, Paul, Sangiovanni-Vincentelli, Alberto

We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques can be derived. We illustrate...

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2002)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state...

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2002)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state...

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2002)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state...

A protocol for loosely time-triggered architectures (2002)

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé March, Jean-pierre Talpin, Stavros Tripakis

Abstract A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a weaker...

A protocol for loosely time-triggered architectures (2002)

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé March, Jean-pierre Talpin, Stavros Tripakis

Abstract. A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics. Loosely Time-Triggered Architectures (ltta) are a...

Toward an approximation theory for computerised control (2002)

Paul Caspi, Albert Benveniste

Abstract. This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern...

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2002)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state...

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2002)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

In this paper we formulate asynchronous diagnosis by means of hidden state history reconstruction, from alarm observations. We follow a so-called true concurrency approach, in which no global state...

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems (2001)

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2001)

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

This report has been replaced by the report RR-4461

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems (2001)

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2001)

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

This report has been replaced by the report RR-4461

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems (2001)

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2001)

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

This report has been replaced by the report RR-4461

Some synchronization issues when designing embedded systems from components (2001)

Markov nets: Probabilistic models for distributed and concurrent systems (2001)

from components

Albert Benveniste, Eric Fabre, Stefan Haar

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Markov nets: Probabilistic models for distributed and concurrent systems (2001)

Albert Benveniste, Albert Benveniste, Eric Fabre, Eric Fabre, Stefan Haar, Stefan Haar, ...

de systèmes complexes

The Signal declarative synchronous language: controller synthesis & systems/architecture design (2001)

Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, Hervé March

Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm...

A Protocol for Loosely Time-Triggered Architectures (2001)

Albert Benveniste, Paul Caspi, Paul Le Guernic, Herve Marchand, Jean-Pierre Talpin, Stavros Tripakis

A distributed real-time control system has a time-triggered nature, just because the physical system for control is bound to physics.

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2001)

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

This report has been replaced by the report RR-4461

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems (2001)

Diagnosis of Asynchronous Discrete Event Systems, a Net Unfolding Approach (2001)

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Benveniste, Albert, Fabre, Eric, Jard, Claude, Haar, Stefan

This report has been replaced by the report RR-4461

Markov Nets: Probabilistic Models for Distributed and Concurrent Systems (2001)

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors (2000)

For distributed systems, i.e. large networked complex systems, there is a drastic difference between a local view and knowledge of the system, and its global view. Distributed systems have local...

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice

Subspace identification algorithms have proven efficient for performing output-only identification of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary...

BDL: A Semantics Backbone for UML Dynamic Diagrams (2000)

Caillaud, Benoît, Talpin, Jean-Pierre, Jézéquel, Jean-Marc, Benveniste, Albert, Jard, Claude

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide...

Wang, Yunming, Talpin, Jean-Pierre, Benveniste, Albert, Le Guernic, Paul

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism...

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors (2000)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice

Subspace identification algorithms have proven efficient for performing output-only identification of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary...

BDL: A Semantics Backbone for UML Dynamic Diagrams (2000)

Caillaud, Benoît, Talpin, Jean-Pierre, Jézéquel, Jean-Marc, Benveniste, Albert, Jard, Claude

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide...

Wang, Yunming, Talpin, Jean-Pierre, Benveniste, Albert, Le Guernic, Paul

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism...

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors (2000)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice

Subspace identification algorithms have proven efficient for performing output-only identification of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary...

BDL: A Semantics Backbone for UML Dynamic Diagrams (2000)

Caillaud, Benoît, Talpin, Jean-Pierre, Jézéquel, Jean-Marc, Benveniste, Albert, Jard, Claude

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide...

Wang, Yunming, Talpin, Jean-Pierre, Benveniste, Albert, Le Guernic, Paul

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism...

Subspace-based fault detection algorithms for vibration monitoring (2000)

Maher Abdelghani, Albert Benveniste, Luc Hermans, Herman Van Der Auweraer

Based on the recent stochastic subspace identification algorithms [14, 15], we present recent advances in our comprehensive approach [7, 1] for 1 / in-operation modal identification of structures, 2...

Using local tests to estimate convergence rates for identi cation (2000)

Co-simulation of hybrid systems: Signal-Simulink (2000)

Convergence rates and related Central Limit theorems have beenthe subject of numerous papers. In [1] a systematic link was rst established between 1 / system identi cation, and 2 / model validation...

Stéphane Tudoret, Simin Nadjm-tehrani, Albert Benveniste, Jan-Erik Strömberg

. This article presents an approach to simulating hybrid systems. We show how a discrete controller that controls a continuous environment can be co-simulated with the environment (plant) using...

A semantics of UML state-machines using synchronous pre-order transition systems (2000)

Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic, Inria Irisa, Campus De Beaulieu, ...

The synchronous model of concurrency has demonstrated its practicality for the design of circuits, embedded systems, reactive and distributed systems. This model allows to design systems around an...

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors (2000)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice

Subspace identification algorithms have proven efficient for performing output-only identification of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary...

BDL: A Semantics Backbone for UML Dynamic Diagrams (2000)

Caillaud, Benoit, Talpin, Jean-Pierre, Jézéquel, Jean-Marc, Benveniste, Albert, Jard, Claude

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide...

Wang, Yunming, Talpin, Jean-Pierre, Benveniste, Albert, Le Guernic, Paul

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism...

Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors (2000)

Mevel, Laurent, Benveniste, Albert, Basseville, Michèle, Goursat, Maurice

Subspace identification algorithms have proven efficient for performing output-only identification of the eigenstructure of a linear MIMO system subject to uncontrolled, unmeasured, and nonstationary...

BDL: A Semantics Backbone for UML Dynamic Diagrams (2000)

Caillaud, Benoit, Talpin, Jean-Pierre, Jézéquel, Jean-Marc, Benveniste, Albert, Jard, Claude

The UML (Unified Modelling Language) comprises various types of notations, to model the functional architecture, the behaviour of its components, and its deployment. Dynamic diagrams provide...

Wang, Yunming, Talpin, Jean-Pierre, Benveniste, Albert, Le Guernic, Paul

The concept of synchronous programming has been proposed and widely accepted in the design of real-time systems, circuits, and embedded systems. Some recent researches have also proposed a mechanism...

Hierarchic Normal Forms for Desynchronization (1999)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which...

Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

Hierarchic Normal Forms for Desynchronization (1999)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which...

Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

Hierarchic Normal Forms for Desynchronization (1999)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which...

Benveniste, Albert, Caillaud, Benoît, Le Guernic, Paul

We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

Distributing synchronous programs on a loosely synchronous, distributed architecture (1999)

Albert Benveniste, Paul Caspi, Paul Caspi, Stavros Tripakis, Stavros Tripakis

Distributing synchronous programs on a loosely synchronous, distributed architecture

From synchrony to asynchrony (1999)

Albert Benveniste, Benoit Caillaud, Paul Le Guernic

Distributing synchronous programs on a loosely synchronous, distributed architecture (1999)

Albert Benveniste, Paul Caspi

Distributing synchronous programs on a loosely synchronous, distributed architecture

Hierarchic normal forms for desynchronization (1999)

Paul Le Guernic, Jean-pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Albert Benveniste, Benoit Caillaud, ...

Th`eme 1--- R'eseaux et syst`emes

BDL: A Semantics Backbone for UML Dynamic Diagrams Irisa/INRIA Rennes, research report RR[8] C. Flanagan and M. Abadi Object Types against (1999)

Benot Caillaud, Jean-pierre Talpin, Jean-marc Jzquel, Albert Benveniste, Claude Jard, Claude Jard

apport de recherche

BDL: A Semantics Backbone for UML Dynamic Diagrams Irisa/INRIA Rennes, research report RR[8] C. Flanagan and M. Abadi Object Types against (1999)

Benot Caillaud, Jean-pierre Talpin, Jean-marc Jzquel, Albert Benveniste, Claude Jard, Claude Jard

apport de recherche

Albert Benveniste, Benoît Caillaud, Paul Le Guernic

. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

Hierarchic Normal Forms for Desynchronization (1999)

Benoît Caillaud, Jean-Pierre Talpin, Jean-pierre Talpin, Albert Benveniste, Albert Benveniste, Paul Le Guernic, ...

Based on an earlier work, we present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee...

Asynchronous Deployment of Synchronous Transition Systems (1999)

Jean-Pierre Talpin, Jean-pierre Talpin, Albert Benvenister, Albert Benveniste, Paul Le Guernic, Paul Le Guernic, ...

: The synchronous model of concurrency has demonstrated its practicality for the for the design of circuits, embedded systems, reactive systems. This model allows to base design on deterministic...

Hierarchic Normal Forms for Desynchronization (1999)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoit, Le Guernic, Paul

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which...

Benveniste, Albert, Caillaud, Benoit, Le Guernic, Paul

We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

Hierarchic Normal Forms for Desynchronization (1999)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoit, Le Guernic, Paul

Based on an earlier work, we present an in-depth discussion of the relationsh- ips between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which...

Benveniste, Albert, Caillaud, Benoit, Le Guernic, Paul

We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guarantee correct...

BDl, A Language of Distributed Reactive Objects (1998)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoit, Jard, Claude, Bouziane, Zakaria, Canon, Hubert

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (\B as a unified medium for specifying, verifying, compiling and validating...

BDl, A Language of Distributed Reactive Objects (1998)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoît, Jard, Claude, Bouziane, Zakaria, Canon, Hubert

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL) as a unified medium for specifying, verifying, compiling and validating...

BDl, A Language of Distributed Reactive Objects (1998)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoît, Jard, Claude, Bouziane, Zakaria, Canon, Hubert

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL) as a unified medium for specifying, verifying, compiling and validating...

Algebraic techniques for timed systems (1998)

Albert Benveniste, Claude Jard

A b s t r a c t. Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of so-called "Max-Plus " algebraic...

Fault Detection and Diagnosis in Distributed Systems : an Approach by Partially Stochastic Petri nets, Discrete Event Dynamic Systems: theory and application (1998)

Eric Fabre, Armen Aghasaryan, Albert Benveniste, Claude Jard

We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty...

Compositional and uniform modeling of hybrid systems (1998)

Fault detection and isolation in nonlinear dynamic systems: A combined input-output and local approach (1998)

This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing hybrid...

Michele Basseville, Qinghua Zhang, Qinghua Zhang, Albert Benveniste, Albert Benveniste

apport de recherche

Monotone rational series and max-plus algebraic models of realtime systems (1998)

Albert Benveniste, Stephane Gaubert, Claude Jard

In the modelling of timed discrete event systems, one traditionally uses dater functions, which give completion times, as a function of numbers of events. Dater functions are non-decreasing. We...

BDL, a language of distributed reactive objects (1998)

Jean-Pierre Talpin, Albert Benveniste, Benot Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL), as a unified medium for specifying, verifying, compiling and validating...

Diagnosing Hybrid Dynamical Systems: Fault Graphs, Statistical Residuals And Viterbi Algorithms (1998)

Michèle Basseville, Ele Basseville, Laurent Tromp, Albert Benveniste

We address the problem of model-based fault diagnosis for hybrid numeric/symbolic dynamical systems. The objective is the systematic design of fault diagnosis algorithms, based on fault graphs...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1998)

Qinghua Zhang, Michele Basseville, Albert Benveniste, Albert Benveniste

: The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

BDL, a language of distributed reactive objects (1998)

Claude Jard, Zakaria Bouziane, Hubert Canon, Jean-Pierre Talpin, Jean-pierre Talpin, Albert Benveniste, ...

We introduce the definition of a language of distributed reactive objects, BDL, as a unified medium for specifying, verifying, compiling and validating object-oriented, distributed reactive systems....

BDl, A Language of Distributed Reactive Objects (1998)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoit, Jard, Claude, Bouziane, Zakaria, Canon, Hubert

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL) as a unified medium for specifying, verifying, compiling and validating...

BDl, A Language of Distributed Reactive Objects (1998)

Talpin, Jean-Pierre, Benveniste, Albert, Caillaud, Benoit, Jard, Claude, Bouziane, Zakaria, Canon, Hubert

We introduce the definition of a language of distributed reactive objects, a Behaviour Description Language (BDL) as a unified medium for specifying, verifying, compiling and validating...

Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Basseville, Michèle, Abdelghani, Maher, Benveniste, Albert

We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault detection...

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation (1997)

Benveniste, Albert, Le Guernic, Paul, Aubry, Pascal

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of {\em compositionality.} This paper is devoted the issues of...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1997)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Basseville, Michèle, Abdelghani, Maher, Benveniste, Albert

We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault detection...

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation (1997)

Benveniste, Albert, Le Guernic, Paul, Aubry, Pascal

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1997)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Basseville, Michèle, Abdelghani, Maher, Benveniste, Albert

We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault detection...

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation (1997)

Benveniste, Albert, Le Guernic, Paul, Aubry, Pascal

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1997)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

Subspace-based fault detection and isolation methods - Application to vibration monitoring (1997)

Michèle Basseville, Maher Abdelghani, Maher Abdelghani, Albert Benveniste, Albert Benveniste, Projet Sigma

: We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault...

Compositionality in dataflow synchronous languages: specification & distributed code generation (1997)

Albert Benveniste, Paul Le Guernic, Pascal Aubry

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...

On The Relationship Between Identification And Local Tests (1997)

Bernard Delyon, Bernard Delyon, Anatoli Juditsky, Anatoli Juditsky, Albert Benveniste, Albert Benveniste

: Convergence rates and related Central Limit theorems have been the subject of numerous papers. In [1] a systematic link was first established between 1/ system identification, and 2/ model...

Subspace-Based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Michele Basseville, Ele Basseville, Albert Benveniste, Maher Abdelghani

: We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault...

A Petri net approach to fault detection and diagnosis in distributed systems (1997)

Armen Aghasaryan, Renée Boubour, Eric Fabre, Claude Jard, Claude Jard, Albert Benveniste, ...

: This report presents a new use of safe Petri nets in the field of distributed Discrete Event Dynamic Systems, with application to telecommunication network management. This study has in its long...

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation (1997)

Benveniste, Albert, Le Guernic, Paul, Aubry, Pascal

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...

Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Basseville, Michèle, Abdelghani, Maher, Benveniste, Albert

We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault detection...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1997)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

Compositionality in Dataflow Synchronous Languages: Specification & Code Generation (1997)

Benveniste, Albert, Le Guernic, Paul, Aubry, Pascal

Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of...

Subspace-based Fault Detection and Isolation Methods - Application to Vibration Monitoring (1997)

Basseville, Michèle, Abdelghani, Maher, Benveniste, Albert

We address the problem of detecting and isolating faults modeled as changes in the eigenstructure of a linear dynamical system. The purpose of the paper is to describe and analyze new fault detection...

Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach (1997)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

The problem of fault detection and isolation (FDI) is addressed for nonlinear dynamic systems modeled by polynomial differential-algebraic equations. Ritt's algorithm is used to obtain an...

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique (1996)

Basseville, Michèle, Benveniste, Albert, Zhang, Qinghua

Ce rapport a pour but de présenter la démarche générale élaborée à l'{\sc Irisa} en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche...

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique (1996)

Basseville, Michèle, Benveniste, Albert, Zhang, Qinghua

Ce rapport a pour but de présenter la démarche générale élaborée à l'IRISA en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche permet,...

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique (1996)

Basseville, Michèle, Benveniste, Albert, Zhang, Qinghua

Ce rapport a pour but de présenter la démarche générale élaborée à l'IRISA en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche permet,...

High-level primitives for recursive maximum likelihood estimation (1996)

Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah

This paper proposes a high level language constituted of a small number of primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique (1996)

Basseville, Michèle, Benveniste, Albert, Zhang, Qinghua

Ce rapport a pour but de présenter la démarche générale élaborée à l'IRISA en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche permet,...

Surveillance d'installations industrielles: démarche générale et conception de l'algorithmique (1996)

Basseville, Michèle, Benveniste, Albert, Zhang, Qinghua

Ce rapport a pour but de présenter la démarche générale élaborée à l'IRISA en matière de surveillance d'installations industrielles pour la maintenance conditionnelle. Cette démarche permet,...

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation (1995)

Benveniste, Albert, Levy, Bernard C., Fabre, Eric, Le Guernic, Paul

In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic components. To compose such systems, we introduce a general combinator which allows the specification of...

A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems (1995)

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

In this paper, we consider mixed systems containing both stochastic and non-stochastic 1 components. To compose such systems, we introduce a general combinator which allows the specification of an...

Nonlinear black-box modeling in system identification: a unified overview (1995)

Jonas Sjoberg, Qinghua Zhang, Lennart Ljung, Albert Benveniste, Bernard Deylon, Pierre-yves Glorennec, ...

A nonlinear black box structure for a dynamical system is a model structure that is prepared to describe virtually any nonlinear dynamics. There has been considerable recent interest in this area...

A Calculus of Stochastic Systems: Specification, Simulation, and Hidden State Estimation (1995)

Albert Benveniste, Albert Benveniste, Bernard C. Levy, Bernard C. Levy, Eric Fabre, Eric Fabre, ...

In this paper, we consider mixed systems containing both stochastic and nonstochastic components. To compose such systems, we introduce a general combinator which allows the specification of an...

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation (1994)

Benveniste, Albert, Levy, Bernard, Fabre, Eric, Le Guernic, Paul

In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic components. To compose such systems, we introduce a general combinator which allows the specification of...

Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification (1994)

Juditsky, Anatoli, Zhang, Qinghua, Delyon, Bernard, Glorennec, Pierre-Yves, Benveniste, Albert

This is a tutorial about nonparametric nonlinear system identification. Advantages and limitations of this approach are discussed from the engineer's point of view. Classical as well as modern...

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation (1994)

Benveniste, Albert, Levy, Bernard, Fabre, Eric, Le Guernic, Paul

In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic components. To compose such systems, we introduce a general combinator which allows the specification of...

Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification (1994)

Juditsky, Anatoli, Zhang, Qinghua, Delyon, Bernard, Glorennec, Pierre-Yves, Benveniste, Albert

This is a tutorial about nonparametric nonlinear system identification. Advantages and limitations of this approach are discussed from the engineer's point of view. Classical as well as modern...

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems (1994)

Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic

: In this paper, we consider hybrid systems containing both stochastic and nonstochastic components. To compose such systems, we introduce a general combinator which allows the specification of an...

Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification (1994)

Juditsky, Anatoli, Zhang, Qinghua, Delyon, Bernard, Glorennec, Pierre-Yves, Benveniste, Albert

This is a tutorial about nonparametric nonlinear system identification. Advantages and limitations of this approach are discussed from the engineer's point of view. Classical as well as modern...

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation (1994)

Benveniste, Albert, Levy, Bernard, Fabre, Eric, Le Guernic, Paul

In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic components. To compose such systems, we introduce a general combinator which allows the specification of...

Wavelets in identification wavelets, splines, neurons, fuzzies : how good for identification (1994)

Juditsky, Anatoli, Zhang, Qinghua, Delyon, Bernard, Glorennec, Pierre-Yves, Benveniste, Albert

This is a tutorial about nonparametric nonlinear system identification. Advantages and limitations of this approach are discussed from the engineer's point of view. Classical as well as modern...

A Calculus of Stochastic Systems : Specification, Simulation, and Hidden State Estimation (1994)

Benveniste, Albert, Levy, Bernard, Fabre, Eric, Le Guernic, Paul

In this paper, we consider {\it hybrid systems} containing both stochastic and \deterministic components. To compose such systems, we introduce a general combinator which allows the specification of...

High-level primitives for recursive maximum likelihood estimation (1993)

Levy, Bernard C., Benveniste, Albert, Nikoukhah, Ramine

This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Benveniste, Albert, Caspi, Paul, Le Guernic, Paul, Halbwachs, N.

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

Projet SYNCHRONE : les formats communs des langages synchrones (1993)

Paris, J.P., Berry, G., Mignard, F., Couronne, P., Caspi, Paul, Halbwachs, N., ...

Ce document definit la syntaxe et la semantique des formats communs des langages synchrones. Ces formats constituent un socle commun a la programmatio- n synchrone, sur lequel de nombreux outils...

High-level primitives for recursive maximum likelihood estimation (1993)

Levy, Bernard, Benveniste, Albert, Nikoukhah, Ramine

This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Benveniste, Albert, Caspi, Paul, Le Guernic, Paul, Halbwachs, Nicolas

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

Projet SYNCHRONE : les formats communs des langages synchrones (1993)

Paris, Jean-Pierre, Berry, Gérard, Mignard, Frédéric, Couronné, Philippe, Caspi, Paul, Halbwachs, Nicolas, ...

Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils...

High-level primitives for recursive maximum likelihood estimation (1993)

Levy, Bernard, Benveniste, Albert, Nikoukhah, Ramine

This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Benveniste, Albert, Caspi, Paul, Le Guernic, Paul, Halbwachs, Nicolas

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

Projet SYNCHRONE : les formats communs des langages synchrones (1993)

Paris, Jean-Pierre, Berry, Gérard, Mignard, Frédéric, Couronné, Philippe, Caspi, Paul, Halbwachs, Nicolas, ...

Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils...

Data-flow Synchronous Languages (1993)

Calcul Symbolique, Nicolas Halbwachs, Albert Benveniste, Albert Benveniste, Paul Caspi, Paul Caspi, ...

: In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

High-Level Primitives for Recursive Maximum Likelihood Estimation (1993)

Bernard C. Levy, Bernard C. Levy, Albert Benveniste, Albert Benveniste, Ramine Nikoukhah, Ramine Nikoukhah

: This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

I R I S a (1993)

Campus Universitaire De, Albert Benveniste, Paul Caspi, Paul Le, Guernic Nicolas Halbwachs

: In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

High-Level Primitives for Recursive Maximum Likelihood Estimation (1993)

Bernard C. Levy, Albert Benveniste, Ramine Nikoukhah

: This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Projet SYNCHRONE : les formats communs des langages synchrones (1993)

Paris, Jean-Pierre, Berry, Gérard, Mignard, Frédéric, Couronné, Philippe, Caspi, Paul, Halbwachs, Nicolas, ...

Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils...

Benveniste, Albert, Caspi, Paul, Le Guernic, Paul, Halbwachs, Nicolas

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

High-level primitives for recursive maximum likelihood estimation (1993)

Levy, Bernard, Benveniste, Albert, Nikoukhah, Ramine

This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Projet SYNCHRONE : les formats communs des langages synchrones (1993)

Paris, Jean-Pierre, Berry, Gérard, Mignard, Frédéric, Couronné, Philippe, Caspi, Paul, Halbwachs, Nicolas, ...

Ce document définit la syntaxe et la sémantique des formats communs des langages synchrones. Ces formats constituent un socle commun à la programmation synchrone, sur lequel de nombreux outils...

Benveniste, Albert, Caspi, Paul, Le Guernic, Paul, Halbwachs, Nicolas

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-flow...

High-level primitives for recursive maximum likelihood estimation (1993)

Levy, Bernard, Benveniste, Albert, Nikoukhah, Ramine

This paper proposes a high level language constituted of only a few primitives and macros for describing recursive maximum likelihood (ML) estimation algorithms. This language is applicable to...

Early warning of slight changes in systems and plants with application to condition based maintenance (1992)

Zhang, Qinghua, Basseville, Michele, Benveniste, Albert

Techniques for early warning of slight changes in systems and plants are useful for condition based maintenance. In this paper we present an approach for this problem. This approach is based on the...

Signal as a model for real-time and hybrid systems (1992)

Benveniste, Albert, Le Borgne, M., Le Guernic, Paul

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract....

Early warning of slight changes in systems and plants with application to condition based maintenance (1992)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

Techniques for early warning of slight changes in systems and plants are useful for condition based maintenance. In this paper we present an approach for this problem. This approach is based on the...

Signal as a model for real-time and hybrid systems (1992)

Benveniste, Albert, Le Borgne, Michel, Le Guernic, Paul

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract....

Early warning of slight changes in systems and plants with application to condition based maintenance (1992)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

Techniques for early warning of slight changes in systems and plants are useful for condition based maintenance. In this paper we present an approach for this problem. This approach is based on the...

Signal as a model for real-time and hybrid systems (1992)

Benveniste, Albert, Le Borgne, Michel, Le Guernic, Paul

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract....

Signal as a model for real-time and hybrid systems (1992)

Benveniste, Albert, Le Borgne, Michel, Le Guernic, Paul

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract....

Early warning of slight changes in systems and plants with application to condition based maintenance (1992)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

Techniques for early warning of slight changes in systems and plants are useful for condition based maintenance. In this paper we present an approach for this problem. This approach is based on the...

Signal as a model for real-time and hybrid systems (1992)

Benveniste, Albert, Le Borgne, Michel, Le Guernic, Paul

Hybrid systems are models of systems operating in real-time and handling events as well as "continuous" computations. The SIGNAL formalism for hybrid systems is presented in this extended abstract....

Early warning of slight changes in systems and plants with application to condition based maintenance (1992)

Zhang, Qinghua, Basseville, Michèle, Benveniste, Albert

Techniques for early warning of slight changes in systems and plants are useful for condition based maintenance. In this paper we present an approach for this problem. This approach is based on the...

Constructive probability and the SIGNalea language : building and processes via programming (1991)

The Synchronous approach to reactive and real-time systems (1991)

Benveniste, Albert, Berry, G.

Constructive probability and the SIGNalea language : building and processes via programming (1991)

The Synchronous approach to reactive and real-time systems (1991)

Disponible dans les fichiers attachés à ce document

Constructive probability and the SIGNalea language : building and processes via programming (1991)

Disponible dans les fichiers attachés à ce document

The Synchronous approach to reactive and real-time systems (1991)

Disponible dans les fichiers attachés à ce document

The synchronous approach to reactive and real-time systems (1991)

Disponible dans les fichiers attachés à ce document

Albert Benveniste, Gerard Berry

This special issue is devoted to the synchronous approach to reactive and real-time programming. This introductory paper presents and discusses the application fields and the principles of...

Constructive probability and the SIGNalea language : building and processes via programming (1991)

The Synchronous approach to reactive and real-time systems (1991)

Disponible dans les fichiers attachés à ce document

Constructive probability and the SIGNalea language : building and processes via programming (1991)

Disponible dans les fichiers attachés à ce document

The Synchronous approach to reactive and real-time systems (1991)

Disponible dans les fichiers attachés à ce document

Multiscale signal processing : from QMF to wavelets (1990)

Disponible dans les fichiers attachés à ce document

Basseville, Michele, Benveniste, Albert, Willsky, A.S.

Benveniste, Albert, Nikoukhah, Ramine, Willsky, A.S.

In many applications, it is of interest to analyze and recognize phenomena occuring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

Multiscale signal processing : from QMF to wavelets (1990)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Willsky, Alan

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Nikoukhah, Ramine, Willsky, Alan

In many applications, it is of interest to analyze and recognize phenomena occuring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

Multiscale signal processing : from QMF to wavelets (1990)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Willsky, Alan

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Nikoukhah, Ramine, Willsky, Alan

In many applications, it is of interest to analyze and recognize phenomena occuring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

Multiscale signal processing : from QMF to wavelets (1990)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Willsky, Alan

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Nikoukhah, Ramine, Willsky, Alan

In many applications, it is of interest to analyze and recognize phenomena occuring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

Multiscale signal processing : from QMF to wavelets (1990)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Willsky, Alan

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Nikoukhah, Ramine, Willsky, Alan

In many applications, it is of interest to analyze and recognize phenomena occuring at different scales. The recently introduced wavelet transforms provide a time-and-scale decomposition of signals...

The signal software environment for real-time system specification, design, and implementation (1989)

Benveniste, Albert, Le Guernic, Paul, Jacquemot, C.

In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal...

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems (1989)

Le Borgne, M., Benveniste, Albert, Le Guernic, Paul

Modeles statistiques temps-echelle en traitement du signal (1989)

Multi-scale autoregressive processes (1989)

Basseville, M. (Michèle), 1952-, Benveniste, Albert., Massachusetts Institute Of Technology. Laboratory For Information And Decision Systems.

Cover title.

The signal software environment for real-time system specification, design, and implementation (1989)

Benveniste, Albert, Le Guernic, Paul, Jacquemot, Christian

In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal...

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems (1989)

Le Borgne, Michel, Benveniste, Albert, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Modèles statistiques temps-échelle en traitement du signal (1989)

Résumé disponible dans les fichiers attachés à ce document

Multi-scale autoregressive processes (1989)

Disponible dans les fichiers attachés à ce document

Basseville, M. (Michèle), 1952-, Benveniste, Albert., Massachusetts Institute Of Technology. Laboratory For Information And Decision Systems.

Cover title.

The signal software environment for real-time system specification, design, and implementation (1989)

Benveniste, Albert, Le Guernic, Paul, Jacquemot, Christian

In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal...

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems (1989)

Le Borgne, Michel, Benveniste, Albert, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Modèles statistiques temps-échelle en traitement du signal (1989)

Résumé disponible dans les fichiers attachés à ce document

Disponible dans les fichiers attachés à ce document

The signal software environment for real-time system specification, design, and implementation (1989)

Résumé disponible dans les fichiers attachés à ce document

Benveniste, Albert, Le Guernic, Paul, Jacquemot, Christian

In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal...

Modèles statistiques temps-échelle en traitement du signal (1989)

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems (1989)

Disponible dans les fichiers attachés à ce document

Le Borgne, Michel, Benveniste, Albert, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

The signal software environment for real-time system specification, design, and implementation (1989)

Résumé disponible dans les fichiers attachés à ce document

Benveniste, Albert, Le Guernic, Paul, Jacquemot, Christian

In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal...

Modèles statistiques temps-échelle en traitement du signal (1989)

Polynomial ideal theoretic methods in discrete event, and hybrid dynamical systems (1989)

Disponible dans les fichiers attachés à ce document

Le Borgne, Michel, Benveniste, Albert, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Diagnosing mechanical changes in vibrating systems (1988)

Moustakides, G., Basseville, Michele, Benveniste, Albert, Le Vey, Georges

Hybrid dynamical systems theory and the language "SIGNAL" (1988)

Benveniste, Albert, Le Goff, B., Le Guernic, Paul

Diagnosing mechanical changes in vibrating systems (1988)

Moustakides, George, Basseville, Michèle, Benveniste, Albert, Le Vey, Georges

Disponible dans les fichiers attachés à ce document

Hybrid dynamical systems theory and the language "SIGNAL" (1988)

Benveniste, Albert, Le Goff, Bernard, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Diagnosing mechanical changes in vibrating systems (1988)

Moustakides, George, Basseville, Michèle, Benveniste, Albert, Le Vey, Georges

Disponible dans les fichiers attachés à ce document

Hybrid dynamical systems theory and the language "SIGNAL" (1988)

Benveniste, Albert, Le Goff, Bernard, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Diagnosing mechanical changes in vibrating systems (1988)

Moustakides, George, Basseville, Michèle, Benveniste, Albert, Le Vey, Georges

Disponible dans les fichiers attachés à ce document

Hybrid dynamical systems theory and the language "SIGNAL" (1988)

Benveniste, Albert, Le Goff, Bernard, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Diagnosing mechanical changes in vibrating systems (1988)

Moustakides, George, Basseville, Michèle, Benveniste, Albert, Le Vey, Georges

Disponible dans les fichiers attachés à ce document

Hybrid dynamical systems theory and the language "SIGNAL" (1988)

Benveniste, Albert, Le Goff, Bernard, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

A denotational theory of synchronous communicating systems (1987)

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics (1987)

Algorithmes adaptatifs et approximations stochastiques : théorie et applications á l'identification, au traitement du signal et á la reconnaissance des formes / Albert Benveniste, Michel Metivier, Pierre Priouret (1987)

Benveniste, Albert, Metivier, Michel, Priouret, Pierre

Incluye bibliografía e índice

A denotational theory of synchronous communicating systems (1987)

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics (1987)

Disponible dans les fichiers attachés à ce document

A denotational theory of synchronous communicating systems (1987)

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics (1987)

Disponible dans les fichiers attachés à ce document

A denotational theory of synchronous communicating systems (1987)

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics (1987)

Disponible dans les fichiers attachés à ce document

A denotational theory of synchronous communicating systems (1987)

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: The language SIGNAL and its mathematical semantics (1987)

Disponible dans les fichiers attachés à ce document

The asymptotic local approach to change detection and model validation (1986)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Basseville, Michele, Moustakides, G.

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics (1986)

Optimal sensor location for detecting changes in dynamical behavior (1986)

Basseville, Michele, Benveniste, Albert, Moustakides, G., Rougee, A.

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems (1986)

Basseville, Michele, Benveniste, Albert, Moustakides, G., Rougee, A.

Optimum robust detection of changes in the AR part of a multivariable ARMA process (1986)

Rougee, Albert, Basseville, Michele, Benveniste, Albert, Moustakides, G.

The asymptotic local approach to change detection and model validation (1986)

Benveniste, Albert, Basseville, Michèle, Moustakides, George

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics (1986)

Optimal sensor location for detecting changes in dynamical behavior (1986)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Optimum robust detection of changes in the AR part of a multivariable ARMA process (1986)

Rougée, Anne, Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

The asymptotic local approach to change detection and model validation (1986)

Benveniste, Albert, Basseville, Michèle, Moustakides, George

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics (1986)

Optimal sensor location for detecting changes in dynamical behavior (1986)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Optimum robust detection of changes in the AR part of a multivariable ARMA process (1986)

Rougée, Anne, Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

The asymptotic local approach to change detection and model validation (1986)

Benveniste, Albert, Basseville, Michèle, Moustakides, George

Disponible dans les fichiers attachés à ce document

Optimal sensor location for detecting changes in dynamical behavior (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Optimum robust detection of changes in the AR part of a multivariable ARMA process (1986)

Rougée, Anne, Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics (1986)

The asymptotic local approach to change detection and model validation (1986)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Basseville, Michèle, Moustakides, George

Disponible dans les fichiers attachés à ce document

Optimal sensor location for detecting changes in dynamical behavior (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Optimum robust detection of changes in the AR part of a multivariable ARMA process (1986)

Rougée, Anne, Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Detection and diagnosis of changes in the eigenstructure of nonstationary multivariable systems (1986)

Basseville, Michèle, Benveniste, Albert, Moustakides, George, Rougée, Anne

Disponible dans les fichiers attachés à ce document

Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics (1986)

A model to analyse the causality in synchronous real time systems (1985)

Disponible dans les fichiers attachés à ce document

SIGNAL : a data flow oriented language for signal processing (1985)

Benveniste, Albert, Bournai, P., Gautier, Thierry, Le Guernic, Paul

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process (1985)

Moustakides, G., Benveniste, Albert

A model to analyse the causality in synchronous real time systems (1985)

SIGNAL : a data flow oriented language for signal processing (1985)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Bournai, Patricia, Gautier, Thierry, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process (1985)

A model to analyse the causality in synchronous real time systems (1985)

Disponible dans les fichiers attachés à ce document

SIGNAL : a data flow oriented language for signal processing (1985)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Bournai, Patricia, Gautier, Thierry, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process (1985)

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process (1985)

Disponible dans les fichiers attachés à ce document

A model to analyse the causality in synchronous real time systems (1985)

Disponible dans les fichiers attachés à ce document

SIGNAL : a data flow oriented language for signal processing (1985)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Bournai, Patricia, Gautier, Thierry, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Detecting changes in the A.R.parameters of a nonstationary A.R.M.A.process (1985)

A model to analyse the causality in synchronous real time systems (1985)

Disponible dans les fichiers attachés à ce document

SIGNAL : a data flow oriented language for signal processing (1985)

Disponible dans les fichiers attachés à ce document

Benveniste, Albert, Bournai, Patricia, Gautier, Thierry, Le Guernic, Paul

Disponible dans les fichiers attachés à ce document

Detection and diagnosis of abrut changes.In modal characteristics of nonstationary digital signals (1984)

Basseville, Michele, Benveniste, Albert, Moustakides, G.

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems (1984)

Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals (1984)

Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems (1984)

Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals (1984)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems (1984)

03 - Signal : un langage pour le traitement du signal (1984)

Disponible dans les fichiers attachés à ce document

LE GUERNIC, Paul, BENVENISTE, Albert, GAUTIER, Thierry

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms description language t?l a CAD system for real time signal processing applications . Main...

03 - Signal : un langage pour le traitement du signal (1984)

LE GUERNIC, Paul, BENVENISTE, Albert, GAUTIER, Thierry

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms description language t?l a CAD system for real time signal processing applications . Main...

Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals (1984)

Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems (1984)

Detection and diagnosis of abrut changes in modal characteristics of nonstationary digital signals (1984)

Disponible dans les fichiers attachés à ce document

Basseville, Michèle, Benveniste, Albert, Moustakides, George

Disponible dans les fichiers attachés à ce document

Design of one-step and multistep adaptive of algorithms for the tracking of time varying systems (1984)

03 - Signal : un langage pour le traitement du signal (1984)

Disponible dans les fichiers attachés à ce document

LE GUERNIC, Paul, BENVENISTE, Albert, GAUTIER, Thierry

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms description language t?l a CAD system for real time signal processing applications . Main...

Benveniste, Albert, Goursat, M.

SIGNAL:Un langage pour le traitement du signal (1983)

Le Guernic, Paul, Benveniste, Albert, Gautier, Thierry

SIGNAL:Un langage pour le traitement du signal (1983)

Disponible dans les fichiers attachés à ce document

Le Guernic, Paul, Benveniste, Albert, Gautier, Thierry

Disponible dans les fichiers attachés à ce document

SIGNAL:Un langage pour le traitement du signal (1983)

Disponible dans les fichiers attachés à ce document

Le Guernic, Paul, Benveniste, Albert, Gautier, Thierry

Disponible dans les fichiers attachés à ce document

SIGNAL:Un langage pour le traitement du signal (1983)

Disponible dans les fichiers attachés à ce document

Le Guernic, Paul, Benveniste, Albert, Gautier, Thierry

Disponible dans les fichiers attachés à ce document

SIGNAL:Un langage pour le traitement du signal (1983)

Disponible dans les fichiers attachés à ce document

Le Guernic, Paul, Benveniste, Albert, Gautier, Thierry

Disponible dans les fichiers attachés à ce document

Realisation stochastique de signaux non stationnaires et identification sur un seul echantillon (1982)

Benveniste, Albert, Fuchs, J.J.

Detection sequentielle de changements brusques des caracteristiques spectrales d'un signal numerique (1982)

Modelisation et identification des caracteristiques d'une structure vibratoire:un probleme de realisation stochastique d'un grand systeme non stationnaire (1982)

Prevosto, M., Benveniste, Albert, Bernouin, B.

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon (1982)

Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique (1982)

Disponible dans les fichiers attachés à ce document

Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire (1982)

Disponible dans les fichiers attachés à ce document

Prevosto, Marc, Benveniste, Albert, Bernouin, Bruno

Disponible dans les fichiers attachés à ce document

Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique (1982)

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon (1982)

Disponible dans les fichiers attachés à ce document

Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire (1982)

Disponible dans les fichiers attachés à ce document

Prevosto, Marc, Benveniste, Albert, Bernouin, Bruno

Disponible dans les fichiers attachés à ce document

Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique (1982)

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon (1982)

Disponible dans les fichiers attachés à ce document

Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire (1982)

Disponible dans les fichiers attachés à ce document

Prevosto, Marc, Benveniste, Albert, Bernouin, Bruno

Disponible dans les fichiers attachés à ce document

Détection séquentielle de changements brusques des caractéristiques spectrales d'un signal numérique (1982)

Réalisation stochastique de signaux non stationnaires et identification sur un seul echantillon (1982)

Disponible dans les fichiers attachés à ce document

Modélisation et identification des caractéristiques d'une structure vibratoire:un problème de réalisation stochastique d'un grand système non stationnaire (1982)

Disponible dans les fichiers attachés à ce document

Prevosto, Marc, Benveniste, Albert, Bernouin, Bruno

Disponible dans les fichiers attachés à ce document

An example of failure detection:design and comparative study of some algorithms (1981)

An example of failure detection:design and comparative study of some algorithms (1981)

An example of failure detection:design and comparative study of some algorithms (1981)

Disponible dans les fichiers attachés à ce document

An example of failure detection:design and comparative study of some algorithms (1981)

Disponible dans les fichiers attachés à ce document

An example of failure detection:design and comparative study of some algorithms (1981)

Disponible dans les fichiers attachés à ce document

Robustesse des egaliseurs autoadaptatifs, transversaux et recursifs (1979)

Disponible dans les fichiers attachés à ce document

BENVENISTE, Albert, GOURSAT, Maurice

On considère un système linéaire stationnaire S excité par une suite de variables aléatoires de loi connue. On cherche à identifier S dans le cas où l'on n'a pas l'hypothèse que S est à...

Robustesse des egaliseurs autoadaptatifs, transversaux et recursifs (1979)

BENVENISTE, Albert, GOURSAT, Maurice

On considère un système linéaire stationnaire S excité par une suite de variables aléatoires de loi connue. On cherche à identifier S dans le cas où l'on n'a pas l'hypothèse que S est à...

Application d'un théorème de G. Mokobodzki à la théorie des flots (1977)

Séparabilité optionnelle, d'après Doob (1976)

Processus stationnaires et mesures de Palm du flot spécial sous une fonction (1975)

Application de deux théorèmes de G. Mokobodzki à l'étude du noyau de Lévy d'un processus de Hunt sans hypothèse (L) (1973)