English

Controller synthesis & Ordinal Automata

Computer Science and Game Theory 2007-05-23 v2
Authors: Thierry Cachat
View on arXiv ↗ PDF ↗

Abstract

Ordinal automata are used to model physical systems with Zeno behavior. Using automata and games techniques we solve a control problem formulated and left open by Demri and Nowak in 2005. It involves partial observability and a new synchronization between the controller and the environment.

Keywords

optimal control

Cite

@article{arxiv.cs/0608120,
  title  = {Controller synthesis & Ordinal Automata},
  author = {Thierry Cachat},
  journal= {arXiv preprint arXiv:cs/0608120},
  year   = {2007}
}

Comments

with appendix

Related papers

View all related →
Formal Languages and Automata Theory · Computer Science
Control strategies for off-line testing of timed systems
Léo Henry, Thierry Jéron, Nicolas Markey
2018-05-04
Logic in Computer Science · Computer Science
Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game
Rupak Majumdar, Anne-Kathrin Schmuck
2021-08-27
Optimization and Control · Mathematics
Metrization and Simulation of Controlled Hybrid Systems
Samuel Burden, Humberto Gonzalez, Ramanarayan Vasudevan, Ruzena Bajcsy +1
2015-04-15
Optimization and Control · Mathematics
The fractional - order controllers: Methods for their synthesis and application
I. Petras
2007-05-23
Optimization and Control · Mathematics
Numerical Models for the Simulation of the Fractional-Order Control Systems
L. Dorcak
2007-05-23
Formal Languages and Automata Theory · Computer Science
Research Challenges in Orchestration Synthesis
Davide Basile, Maurice H. ter Beek
2023-08-24
Cryptography and Security · Computer Science
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
2022-06-08
Logic in Computer Science · Computer Science
Reasoning about transfinite sequences
Stéphane Demri, David Nowak
2009-04-08
Logic in Computer Science · Computer Science
Distributed synthesis for acyclic architectures
Anca Muscholl, Igor Walukiewicz
2014-07-21
Robotics · Computer Science
Structure and Optimization of Parameters for Neural Network Controllers in Automatic Control Systems
Sergey Feofilov, Dmitry Khapkin, Andrey Kozyr, Eduard Heiss +1
2023-12-29
Chaotic Dynamics · Physics
Control and Synchronization of Chaotic Fractional-Order Coullet System via Active Controller
M. Shahiri T., A. Ranjbar N., R. Ghaderi, S. H. Hosseinnia +1
2012-06-13
Formal Languages and Automata Theory · Computer Science
On the Control of Asynchronous Automata
Hugo Gimbert
2017-08-07
Logic in Computer Science · Computer Science
Translating Asynchronous Games for Distributed Synthesis (Full Version)
Raven Beutner, Bernd Finkbeiner, Jesko Hecking-Harbusch
2022-06-01
Software Engineering · Computer Science
Automata Describing Object Behavior
Bernhard Rumpe, Cornel Klein
2014-11-11
Logic in Computer Science · Computer Science
Synthesis of Temporal Causality
Bernd Finkbeiner, Hadar Frenkel, Niklas Metzger, Julian Siber
2025-06-18
Optimization and Control · Mathematics
Optimal control and numerical software: an overview
Helena Sofia Rodrigues, M. Teresa T. Monteiro, Delfim F. M. Torres
2014-09-02
Optimization and Control · Mathematics
Optimality of Zeno Executions in Hybrid Systems
William Clark, Maria Oprea
2022-10-04
Logic in Computer Science · Computer Science
Overview and Roadmap of Team Automata
Maurice H. ter Beek, Rolf Hennicker, José Proença
2025-09-17
Robotics · Computer Science
A Compositional Neuro-Controller for Advanced Motor Control Tasks
Kirill Makukhin
2016-05-20
Cellular Automata and Lattice Gases · Physics
Self-synchronization of Cellular Automata: an attempt to control patterns
J. R. Sanchez, R. Lopez-Ruiz
2007-05-23
Optimization and Control · Mathematics
Data to Controller for Nonlinear Systems: An Approximate Solution
Johannes N. Hendriks, James R. Z. Holdsworth, Adrian G. Wills, Thomas B. Schon +1
2021-07-02
Formal Languages and Automata Theory · Computer Science
Synthese des Controleurs Optimaux pour les Systemes a Evenements Discrets
Jean Marie Moanda Ndeko, Junior Jugis Bakola Mongo
2011-02-03
Robotics · Computer Science
Learning to Compose Hierarchical Object-Centric Controllers for Robotic Manipulation
Mohit Sharma, Jacky Liang, Jialiang Zhao, Alex LaGrassa +1
2020-11-17
Logic in Computer Science · Computer Science
Synthesis of Universal Safety Controllers
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak, Anne-Kathrin Schmuck
2025-01-31
Quantitative Methods · Quantitative Biology
Ordinal Synchronization: Using ordinal patterns to capture interdependencies between time series
Ignacio Echegoyen, Victor Vera-Ávila, Ricardo Sevilla-Escoboza, Johann H. Martínez +1
2019-01-30