Publications associées à Automate fini

Pseudo-Three-Dimensional Analytical Model of Linear Induction Motors for High-Speed Applications

Mario Paolone, André Hodder, Lucien André Félicien Pierrejean, Simone Rametti

Literature on linear induction motors (LIMs) has proposed several approaches to model the behavior of such devices for different applications. In terms of accuracy and fidelity, field analysis-based models are the most relevant. Closed-form or numerical so ...

2024

Analytical Model of Single-Sided Linear Induction Motors for High-Speed Applications

André Hodder, Lucien André Félicien Pierrejean, Simone Rametti

This article describes a field-based analytical model of single-sided linear induction motors (SLIMs) that explicitly considers the following effects altogether: finite motor length, magnetomotive force mmf space harmonics, slot effect, edge effect, and ta ...

2024

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

Auke Ijspeert, Mohamed Bouri, Ali Reza Manzoori, Andrea Di Russo, 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

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

Mathias Josef Payer, Marcel Busch

Security and privacy-sensitive smartphone applications use trusted execution environments (TEEs) to protect sensitive operations from malicious code. By design, TEEs have privileged access to the entire system but expose little to no insight into their inn ...

IEEE COMPUTER SOC2023

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

Mathias Josef Payer, Fei Wang, Duo Xu, Xiangyu Zhang

As IoT applications gain widespread adoption, it becomes important to design and implement IoT protocols with security. Existing research in protocol security reveals that the majority of disclosed protocol vulnerabilities are caused by incorrectly impleme ...

USENIX ASSOC2022

Finite Littlestone Dimension Implies Finite Information Complexity

Michael Christoph Gastpar, Aditya Pradeep, Ido Nachum

We prove that every online learnable class of functions of Littlestone dimension d admits a learning algorithm with finite information complexity. Towards this end, we use the notion of a globally stable algorithm. Generally, the information complexity of ...

2022

Hidden Markov Modeling Over Graphs

Ali H. Sayed, Mert Kayaalp, Stefan Vlaski, Virginia Bordignon

This work proposes a multi-agent filtering algorithm over graphs for finite-state hidden Markov models (HMMs), which can be used for sequential state estimation or for tracking opinion formation over dynamic social networks. We show that the difference fro ...

IEEE2022

The challenges of quasi-static and fatigue experiments of structural adhesives

Anastasios Vassilopoulos, Valentin Perruchoud

This paper presents the results of an experimental campaign designed specifically to investigate unexpected and unwanted failures observed during the quasi-static and fatigue tensile loading of structural adhesives. Simple finite element models were also d ...

ELSEVIER SCI LTD2022

Review of control strategies for lower-limb exoskeletons to assist gait

Auke Ijspeert, Mohamed Bouri, Ali Reza Manzoori, Romain Pierre François Baud

Background Many lower-limb exoskeletons have been developed to assist gait, exhibiting a large range of control methods. The goal of this paper is to review and classify these control strategies, that determine how these devices interact with the user. Met ...

BMC2021

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.

Automate fini

Anomalous dissipation and other non-smooth phenomena in fluids

Pseudo-Three-Dimensional Analytical Model of Linear Induction Motors for High-Speed Applications

Analytical Model of Single-Sided Linear Induction Motors for High-Speed Applications

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

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

Finite Littlestone Dimension Implies Finite Information Complexity

Hidden Markov Modeling Over Graphs

The challenges of quasi-static and fatigue experiments of structural adhesives

Review of control strategies for lower-limb exoskeletons to assist gait

Graph Chatbot

Chattez avec Graph Search

Anomalous dissipation and other non-smooth phenomena in fluids

Review of control strategies for lower-limb exoskeletons to assist gait

The challenges of quasi-static and fatigue experiments of structural adhesives

Hidden Markov Modeling Over Graphs

Finite Littlestone Dimension Implies Finite Information Complexity

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

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

Analytical Model of Single-Sided Linear Induction Motors for High-Speed Applications

Pseudo-Three-Dimensional Analytical Model of Linear Induction Motors for High-Speed Applications