Jan Komenda

Publications

677

Citations

H-Index

1995

Active since

Affiliations

Czech Academy of Sciences, Institute of Mathematics(Current)

Czech Academy of Sciences

Centrum Wiskunde & Informatica

Université d'Angers

Laboratoire Techniques, Territoires et Sociétés

Jan Komenda is an author at Czech Academy of Sciences, Institute of Mathematics specializing in engineering, computer science, and systems engineering.

ORCID

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsProcess ControlAutomationFormal VerificationAutomated ReasoningComputer EngineeringNetworked Control

Publications per year

1995–2022

Publications

Max-plus algebra in the history of discrete event systems

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond et al. · Annual Reviews in Control · 2018 · 64 citations

Mathematical Programming, Algebraic Logic, Discrete Event System +3

Control of Distributed Systems: Tutorial and Overview

Jan H. van Schuppen, Olivier Boutin, Pia L. Kempker et al. · European Journal of Control · 2011 · 63 citations · Full text

Engineering, Distributed Parameter System, Networked Control +4

Supervisory control synthesis of discrete-event systems using a coordination scheme

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen · Automatica · 2011 · 53 citations · Full text

Engineering, Discrete Event System, Event-driven Programming +9

On conditional decomposability

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen · Systems & Control Letters · 2012 · 39 citations · Full text

Mathematical Programming, Engineering, Information Theory +7

Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction

Jan Komenda, Jan H. van Schuppen · Discrete Event Dynamic Systems · 2005 · 36 citations

Engineering, State Observer, Discrete Event System +7

Rows per page

1–5 of 29