Concept

Logique

Publications associées (141)

Analysis of Piecewise Affine Systems with Logic States

In this paper we consider discrete-time piecewise affine hybrid systems with Boolean inputs, outputs and states and we show that they can be represented in a canonical form where the logic variables influence the switching between different submodels but n ...

Springer-Verlag2002

Analysis of Discrete-Time PWA Systems with Boolean Inputs, Outputs and States

Giancarlo Ferrari Trecate

In this paper we consider discrete-time piecewise affine hybrid systems with boolean inputs, outputs and states and show that they can be represented in a logic canonical form where the logic variables influence the switching between different submodels bu ...

2001

Dispositif électronique à affichage électro-optique commandé par des circuits logiques programmables

Daniel Mange, Christof Teuscher

NOVELTY - The electronic display (2) includes a number of cells (12) whose upper faces form a display surface, each cell has an electro-optic display unit (6) with inputs (14) for data to be displayed. A programmable logic circuit (20) is associated with f ...

2001

Genuine atomic multicast in asynchronous distributed systems

Rachid Guerraoui, André Schiper

This paper addresses the problem of atomic multicasting messages in asynchronous distributed systems. Firstly, we give a characterization of the notion of ``genuine atomic multicast''. This characterization leads to a better understanding of the difference ...

2001

A Formal Foundation of the RM-ODP Conceptual Framework

Alain Wegmann, Andrey Naumenko

This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is to clarify the RM-ODP modeling framework to make it more accessible to modelers such as ...

2001

Observability and Controllability of Piecewise Affine and Hybrid Systems

Giancarlo Ferrari Trecate

In this paper we prove, in a constructive way, the equivalence between piecewise affine systems and a broad class of hybrid systems described by interacting linear dynamics, automata, and propositional logic. By focusing our investigation on the former cla ...

2000

Moving Horizon Estimation for Piecewise Affine Systems

Giancarlo Ferrari Trecate

Many practical control, estimation and fault detection problems involve hybrid systems, here losely defined as systems involving both continuous and discrete variables. Various approaches have been proposed for modeling hybrid systems. Often engineering sy ...

2000

Modeling Enterprise Web Applications

Shane Sendall

The purpose of this paper is to provide an overview of our approach for modeling enterprise web applications (EWA), which is use case driven and uses UML as the modeling language. Our approach delivers a conceptual, logical model of the application, which ...

2000

Automatic design tool for submicron current steering logic libraries

Maher Kayal

Standard static CMOS logic is responding to the requirement of high frequency and low power of digital systems. However, the digital switching noise generated by this logic is not suited for the design of performance mixed-signal integrated systems. In mix ...

2000

Exactly-Once Transactions

Rachid Guerraoui

A three-tier application is organized as three layers: human users interact with front-end clients (e.g browsers); middle-tier application servers (e.g. Web servers) contain the application's business logic, and perform transactions against back-end databa ...

2000

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search