Automate | EPFL Graph Search

vignette|Karakuri serveur de thé, avec mécanisme, . musée national de la nature et des sciences de Tokyo. Un automate est un dispositif reproduisant en autonomie une séquence d'actions prédéterminées sans l'intervention humaine, le système fait toujours la même chose. L'automate est un objet programmé. En automatisme le terme est réservé aux dispositifs électromécaniques pilotant le système. Il commande le registre des sorties (commande des actionneurs) en fonction du registre des entrées (états des signaux envoyés par les capteurs) et de l'étape du programme en cours. Dans le domaine de la mécanique, on nomme automate un appareil qui exécute une séquence déterminée d'opérations de manière séquentielle en utilisant des technologies uniquement mécaniques. Autrefois, le métier d'automatier consistait en la conception et fabrication d'automates, et il s'est beaucoup développé avec l'avancement de l'horlogerie. La programmation est réalisée par des dispositifs variés : rubans perforés, cartes perforées, rouleaux à picots, arbres à cames , etc. La lecture et la transmission des informations sont assurées par des systèmes mécaniques et physiques dont certains sont connus depuis l'Antiquité : leviers, poulies, courroies, engrenages, compression/dilatation de gaz, mécanique de fluide. Ce terme désigne également une machine qui reproduit le mouvement et les attitudes d'un être vivant (voir Vaucanson, Jacquet-Droz). Dans le domaine de l'informatique, on nomme automate une machine à traiter de l'information. Par opposition à la notion de fonction continue, cette information est de nature discrète : nombres entiers, par exemple 0 ou 1, caractères « a, b, c... » Un automate est caractérisé par : un ensemble de variables discrètes d'entrée, de sortie et d'états internes ; deux fonctions discrètes : l'une déterminant les sorties en fonction des entrées et de l'état interne au temps précédent, l'autre le nouvel état interne en fonction des entrées et de l'état interne au temps précédent.

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 ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

Control synthesis for stochastic systems given automata specifications defined by stochastic sets

Maryam Kamgarpour, John Lygeros, Tony Alan Wood

The problem of control synthesis to maximize the probability of satisfying automata specifications for systems with uncertainty is addressed. Two types of uncertainty are considered; stochasticity in the dynamical system and in the sets defining the specif ...

2017

EXiO-A Brain-Controlled Lower Limb Exoskeleton for Rhesus Macaques

Hannes Bleuler, Mohamed Bouri, Jeremy Olivier, Miguel Nicolelis, Tristan Hubert Vouga

Recent advances in the field of brain-machine interfaces (BMIs) have demonstrated enormous potential to shape the future of rehabilitation and prosthetic devices. Here, a lower-limb exoskeleton controlled by the intracortical activity of an awake behaving ...

Ieee-Inst Electrical Electronics Engineers Inc2017