Publications related to Finite-state machine

Measuring and Synthesizing Systems in Probabilistic Environments

The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...

Assoc Computing Machinery2015

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Jonathan Mark Scarlett

This paper studies the second-order coding rates for memoryless channels with a state sequence known non-causally at the encoder. In the case of finite alphabets, an achievability result is obtained using constant-composition random coding, and by using a ...

Institute of Electrical and Electronics Engineers2015

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

Jayakrishnan Unnikrishnan

Consider a finite set of sources, each producing independent identically distributed observations that follow a unique probability distribution on a finite alphabet. We study the problem of matching a finite set of observed sequences to the set of sources ...

Institute of Electrical and Electronics Engineers2015

High-Frequency Electromagnetic Coupling to Multiconductor Transmission Lines of Finite Length

Marcos Rubinstein, Gaspard Lugrin

This paper presents a theory and an efficient solution approach for the problem of electromagnetic field coupling to a long multiconductor line with arbitrary terminations. The theory is applicable for a high-frequency plane wave electromagnetic field exci ...

Ieee-Inst Electrical Electronics Engineers Inc2015

Moment Semantics for Reversible Rule-Based Systems

Sandro Stucki

We develop a notion of stochastic rewriting over marked graphs – i.e. directed multigraphs with degree constraints. The approach is based on double-pushout (DPO) graph rewriting. Marked graphs are expressive enough to internalize the ‘no-dangling-edge’ con ...

Springer International Publishing2015

To Share or Not to Share: Adjustment Dynamics in Sharing Markets

Thomas Alois Weber, Maryam Razeghian Jahromi

To aid in the description and estimation of the tremendous recent growth in the collaborative economy, we provide a model for the dynamic sharing, subject to ﬁxed costs. The sharing economy comprises a set of inﬁnitely lived, heterogeneous suppliers, who t ...

2015

A dynamic operation of a PIN photodiode

Alexander Tagantsev, Maher Kayal, Adil Koukab, Serguei Okhonin, Maxim Gureev, Alexander Kvasov, Marc Pastre, Denis Sallin

Traditionally, photodiodes operate at static reverse bias, and incident light intensity is obtained from the relatively week photocurrent. In this paper, we introduce a different concept of photodiode function: the photodiode is used in a dynamic regime wh ...

American Institute of Physics2015

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Alcherio Martinoli, José Nuno Ferreira Maia Pereira

The work described is part of a long term program of introducing institutional robotics, a novel framework for the coordination of robot teams that stems from institutional economics concepts. Under the framework, institutions are cumulative sets of persis ...

Mit Press2014

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Finite-state machine

Measuring and Synthesizing Systems in Probabilistic Environments

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

High-Frequency Electromagnetic Coupling to Multiconductor Transmission Lines of Finite Length

Moment Semantics for Reversible Rule-Based Systems

To Share or Not to Share: Adjustment Dynamics in Sharing Markets

Formal verification of infinite-state BIP models

A dynamic operation of a PIN photodiode

Nonexistence of smooth solutions for a full viscous isentropic liquid crystal system in three dimensions

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Graph Chatbot

Chat with Graph Search

On the Dispersions of the Gel'fand-Pinsker Channel and Dirty Paper Coding

Measuring and Synthesizing Systems in Probabilistic Environments

Asymptotically Optimal Matching of Multiple Sequences to Source Distributions and Training Sequences

High-Frequency Electromagnetic Coupling to Multiconductor Transmission Lines of Finite Length

Moment Semantics for Reversible Rule-Based Systems

To Share or Not to Share: Adjustment Dynamics in Sharing Markets

Nonexistence of smooth solutions for a full viscous isentropic liquid crystal system in three dimensions

A dynamic operation of a PIN photodiode

Formalization, Implementation, and Modeling of Institutional Controllers for Distributed Robotic Systems

Formal verification of infinite-state BIP models