Heap Models, Composition and Control

Autor: Jean-Louis Boimond, Jan Komenda, Sébastien Lahaye

Publikováno v: New Developments in Robotics Automation and Control

This chapter deals with modelling and control of discrete event systems. Discrete event systems (DES) are event driven man made systems whose evolution is guided by occurrences of asynchronous events as opposed to classical time driven discrete or co

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2c3914751aee71f5f84f39a807a334e
http://www.intechopen.com/articles/show/title/heap_models__composition_and_control

(Max,+)-automata with partial observations

Autor: Jean-Louis Boimond, Jan Komenda, Sébastien Lahaye

Publikováno v: 14th IFAC Workshop on Discrete Event Systems WODES 2018
14th IFAC Workshop on Discrete Event Systems WODES 2018, May 2018, Sorrento Coast, Italy. pp.192-197, ⟨10.1016/j.ifacol.2018.06.300⟩

(Max,+)-automata are weighted automata over the (max,+) semiring. In this paper we investigate simulation like equivalences between (max,+)-automata. Since (max,+)-automata are nondetermin-istic (weighted) automata, there exist extensions of bisimila

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8878a6a96e0e201b10e480e0b220dea
https://hal.archives-ouvertes.fr/hal-02481697

Supervisory Control of (max,+) Automata: A Behavioral Approach

Autor: Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Publikováno v: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2009, 19 (4), pp.525-549

A behavioral framework for control of (max,+) automata is proposed. It is based on behaviors (formal power series) and a generalized version of the Hadamard product, which is the behavior of a generalized tensor product of the plant and controller (m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::028d83b4bf1dbd817bf2783047f5582e
https://doi.org/10.1007/s10626-009-0083-6

Just-in-time control of time-varying discrete event dynamic systems in (max,+) algebra

Autor: Jean-Louis Boimond, Sébastien Lahaye, J.-L. Ferrier

Publikováno v: International Journal of Production Research. 46:5337-5348

We deal with timed event graphs whose holding times associated with places are variable. Defining a first-in-first-out functioning rule, we show that such graphs can be linearly described in (max,+) algebra. Moreover, this linear representation allow

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::0fecca8ecd99c43b0700972fe71821e7
https://doi.org/10.1080/00207540802273777

Determinization of timed Petri nets behaviors

Autor: Jean-Louis Boimond, Sébastien Lahaye, Jan Komenda

Publikováno v: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, 2015, pp.1-25. ⟨10.1007/s10626-015-0214-1⟩

In this paper we are interested in sequentialization of formal power series with coefficients in the semiring (źź{źź},max,+)$(\mathbb {R}\cup \{- \infty \},\max ,+)$ which represent the behavior of timed Petri nets. Several approaches make it pos

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53ddf11f6ae7a5f96534f4db07b310b2
https://hal.archives-ouvertes.fr/hal-01392083