|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Supervisory control synthesis of discrete-event systems using a coordination scheme.  |
Automatica  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
On Conditional Decomposability |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator. |
Systems & Control Letters |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Boutin, Jan Komenda, Tomás Masopust, Klaus Schmidt, Jan H. van Schuppen |
Hierarchical control with partial observations: Sufficient conditions. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Badouel, Anne Bouillard, Philippe Darondeau, Jan Komenda |
Residuation of tropical series: Rationality issues. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda |
Coinduction in Concurrent Timed Systems. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Tomás Masopust, Jan H. van Schuppen |
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond |
Supervisory Control of (max, +) Automata: A Behavioral Approach. |
Discrete Event Dynamic Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Jan H. van Schuppen, Benoit Gaudin, Hervé Marchand |
Supervisory control of modular systems with global specification languages. |
Automatica |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Jan H. van Schuppen |
Control of discrete-event systems with modular or distributed structure. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye |
Supervisory control of heap models using synchronous composition. |
ICINCO-ICSO |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jan Komenda, Jan H. van Schuppen |
Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. |
Discrete Event Dynamic Systems |
2005 |
DBLP DOI BibTeX RDF |
bisimulation, supervisory control, coalgebra, coinduction, partial observations |
| 1 | Jan Komenda, Jan H. van Schuppen |
Control of Modular and Distributed Discrete-Event Systems. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda |
Coinduction in Control of Partially Observed Discrete-Event Systems. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Abdellah El Moudni, Noureddine Zerhouni |
Input-Output Relation and Time-Optimal Control of a Class of Hybrid Petri Nets Using min, +) Semiring. |
Discrete Event Dynamic Systems |
2001 |
DBLP DOI BibTeX RDF |
hybrid petri nets, timed event graphs, dioid algebra, control, transfer function |
| 1 | Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni |
The Use of Conventional and Minplus Algebra for the Modeling of Hybrid Petri Nets. |
Cybernetics and Systems |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Komenda, Abdellah El Moudni, Nourredine Zerhouni, Michel Ferney |
On the Calculation of the Transfer Function of Timed Event Petri Nets. |
Cybernetics and Systems |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")