Concept

Deterministic finite automaton

Related publications (25)

Anomalous dissipation and other non-smooth phenomena in fluids

The thesis is dedicated to the study of two main partial differential equations (PDEs) in fluid dynamics: the Navier-Stokes equations, which describe the motion of incompressible fluids, and the transport equation with divergence-free velocity fields, whic ...

EPFL2024

Novel Design and Implementation of a Neuromuscular Controller on a Hip Exoskeleton for Partial Gait Assistance

Auke Ijspeert, Mohamed Bouri, Andrea Di Russo, Ali Reza Manzoori, Sara Messara

Exoskeletons intended for partial assistance of walking should be able to follow the gait pattern of their users, via online adaptive control strategies rather than imposing predefined kinetic or kinematic profiles. NeuroMuscular Controllers (NMCs) are ada ...

2023

Investigating the neuromechanical control of healthy gait modulation and pathological gaits observed in cerebral palsy using neuromuscular simulations

Andrea Di Russo

Locomotion is based on a sophisticated interaction among the environment, the musculoskeletal system, the spinal cord, and the brain locomotor areas. Quality of life is strongly related to the proper capability of this movement. However, many pathologies, ...

EPFL2023

On a Finite-Size Neuronal Population Equation

Tilo Schwalger, Valentin Marc Schmutz

Population equations for infinitely large networks of spiking neurons have a long tradition in theoret-ical neuroscience. In this work, we analyze a recent generalization of these equations to populations of finite size, which takes the form of a nonlinear ...

SIAM PUBLICATIONS2023

Lower Bounds for Unambiguous Automata via Communication Complexity

Mika Tapani Göös, Weiqiang Yuan

We use results from communication complexity, both new and old ones, to prove lower bounds for unambiguous finite automata (UFAs). We show three results. 1) Complement: There is a language L recognised by an n-state UFA such that the complement language ̅L ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

Nonlinear reconstruction of bioclimatic outdoor-environment dynamics for the Lower Silesia region (SW Poland)

Paolo Perona

Measured meteorological time series are frequently used to obtain information 8 about climate dynamics. We use time series analysis and nonlinear system identification 9 methods in order to assess outdoor-environment bioclimatic conditions starting from th ...

2021

KPC: Learning-Based Model Predictive Control with Deterministic Guarantees

Colin Neil Jones, Yuning Jiang, Emilio Maddalena, Paul Scharnhorst

We propose Kernel Predictive Control (KPC), a learning-based predictive control strategy that enjoys deterministic guarantees of safety. Noise-corrupted samples of the unknown system dynamics are used to learn several models through the formalism of non-pa ...

2021

Asymptotic decoupling and weak Gibbs measures for finite alphabet shift spaces

Charles Pfister

For the spaceXin a large class of finite alphabet shift spaces (lattice models) and the class of functionsfwith bounded total oscillations, we prove that each equilibrium measure nu atf=phi is a weak Gibbs measures for phi-P(phi). In addition, the empirica ...

2020

On the relaxed maximum-likelihood blind MIMO channel estimation for orthogonal space-time block codes

Kamran Kalbasi

This paper concerns the maximum-likelihood channel estimation for MIMO systems with orthogonal space-time block codes when the finite alphabet constraint of the signal constellation is relaxed. We study the channel coefficients estimation subspace generate ...

ELSEVIER2020

Local approximation of the Maximum Cut in regular graphs

Etienne Michel François Bamas

This paper is devoted to the distributed complexity of finding an approximation of the maximum cut (MAXCUT) in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communica ...

ELSEVIER2020

Finite element modeling of dynamic frictional rupture with rate and state friction

Jean-François Molinari, Fabian Barras, Roozbeh Rezakhani

Numerous laboratory experiments have demonstrated the dependence of the friction coefficient on the interfacial slip rate and the contact history, a behavior generically called rate and state friction. Although numerical models have been widely used for an ...

PERGAMON-ELSEVIER SCIENCE LTD2020

Dynamical collapse of cylindrical symmetric Dipolar Bose-Einstein condensates

Luigi Forcella

We study the formation of singularities for cylindrical symmetric solutions to the Gross-Pitaevskii equation describing a Dipolar Bose-Einstein condensate. We prove that solutions arising from initial data with energy below the energy of the Ground State a ...

2021

On compact representations of Voronoi cells of lattices

Matthias Schymura, Christoph Hunkenschröder

In a seminal work, Micciancio and Voulgaris (SIAM J Comput 42(3):1364-1391, 2013) described a deterministic single-exponential time algorithm for the closest vector problem (CVP) on lattices. It is based on the computation of the Voronoi cell of the given ...

SPRINGER HEIDELBERG2020

Dynamic Balanced Graph Partitioning

Andreas Loukas, Georg Stefan Schmid

This paper initiates the study of the classic balanced graph partitioning problem from an online perspective: Given an arbitrary sequence of pairwise communication requests between n nodes, with patterns that may change over time, the objective is to servi ...

SIAM Publications2020

Tighter thermodynamic bound on the speed limit in systems with unidirectional transitions

Daniel Maria Busiello

We consider a general discrete state-space system with both unidirectional and bidirectional links. In contrast to bidirectional links, there is no reverse transition along the unidirectional links Herein, we first compute the statistical length and the th ...

2020

Local Approximation of the Maximum Cut in Regular Graphs

Etienne Michel François Bamas

This paper is devoted to the distributed complexity of finding an approximation of the maximum cut in graphs. A classical algorithm consists in letting each vertex choose its side of the cut uniformly at random. This does not require any communication and ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

A Fast-Dynamic Unipolar Switching Control Scheme for Single-Phase Inverters in DC Microgrids

Nicolai Hildebrandt

This paper presents the digital implementation of a boundary controller with unipolar switching characteristic for single-phase voltage source full-bridge inverters. This paper expands the application of a second-order switching surface-based control metho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

The time-dependent expected reward and deviation matrix of a finite QBD process

Sophie Myriam Hautphenne

Deriving the time-dependent expected reward function associated with a continuous-time Markov chain involves the computation of its transient deviation matrix. In this paper we focus on the special case of a finite quasi-birth-and-death (QBD) process, moti ...

ELSEVIER SCIENCE INC2019

New Approach to Identifying Critical Initial Conditions for Extreme Flood Simulations in a Semicontinuous Simulation Framework

Anton Schleiss, Bettina Schaefli, Javier García Hernández, Fränz Zeimetz, Guillaume Mathieu Artigue

Extreme flood simulation with synthetic extreme precipitation events raises unavoidable questions about the choice of initial conditions. State-of-the-art extreme flood estimation frameworks propose to address these questions with the help of semicontinuou ...

2018

Light refocusing with up-scalable resonant waveguide gratings in confocal prolate spheroid arrangements

Olivier Martin, Benjamin Gallinet, Giorgio Quaranta, Zdenek Benes

Resonant waveguide gratings (RWGs) are thin-film structures, where coupled modesinterfere with the diffracted incoming wave and produce strong angular and spectral filtering. The combination of two finite-length and impedance matched RWGs allows the creati ...

2018