Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 72 matches
- 2010
- Boussad Addad, Saïd Amari, Jean-Jacques Lesage:
Linear time-varying (max, +) representation of conflicting timed event graphs. WODES 2010: 300-305 - Vadim Azhmyakov, Ruben Velazquez, Rosalba Galván-Guerra:
Numerically stable approximations of optimal control processes associated with a class of switched systems. WODES 2010: 41-46 - Miryam Barad, Arkady Cherkassky:
Timed Petri nets perspective on weaving processes. WODES 2010: 438-443 - Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Diagnosability of labeled Petri nets via integer linear programming. WODES 2010: 71-77 - Jean-Louis Boimond, Sébastien Lahaye:
On proportional controller in (min; +) algebra. WODES 2010: 149-154 - Kai Bollue, Michaela Slaats, Erika Ábrahám, Wolfgang Thomas, Dirk Abel:
Synthesis of behavioral controllers for DES: Increasing efficiency. WODES 2010: 27-34 - Anne Bouillard, Laurent Jouhet, Eric Thierry:
Comparison of different classes of service curves in network calculus. WODES 2010: 306-311 - Thomas Brunsch, Laurent Hardouin, Jörg Raisch:
Control of cyclically operated high-throughput screening systems. WODES 2010: 167-172 - Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A new protocol for the decentralized diagnosis of labeled Petri nets. WODES 2010: 123-128 - Elia E. Cano, Carlos A. Rovetto, José Manuel Colom:
An algorithm to compute the minimal siphons in S4PR nets. WODES 2010: 15-20 - Lilian Kawakami Carvalho, João Carlos Basilio, Marcos Vicente Moreira:
Robust diagnosability of discrete event systems subject to intermittent sensor failures. WODES 2010: 84-89 - Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin:
Control of uncertain (max, +)-linear systems in order to decrease uncertainty. WODES 2010: 400-405 - Philippe Darondeau, Jérémy Dubreil, Hervé Marchand:
Supervisory control for modal specifications of services. WODES 2010: 418-425 - Philippe Declerck:
Trajectory tracking control of a timed event graph with specifications defined by a P-time event graph: On-line control and off-line preparation. WODES 2010: 155-160 - Isabel Demongodin, Alessandro Giua:
Linear programming techniques for analysis and control of batches Petri nets. WODES 2010: 1-6 - Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten:
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks. WODES 2010: 356-363 - Mustafa Seçkin Durmus, Ugur Yildirim, Aysegul Kursun, Mehmet Turan Söylemez:
Fail-safe signalization design for a railway yard: A level crossing case. WODES 2010: 337-342 - Eric Fabre, Loïg Jezequel:
On the construction of probabilistic diagnosers. WODES 2010: 229-234 - Samira S. Farahani, Ton J. J. van den Boom, Hans van der Weide, Bart De Schutter:
An approximation approach for model predictive control of stochastic max-plus linear systems. WODES 2010: 376-381 - Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda:
Application of supervisory control theory to theme park vehicles. WODES 2010: 293-299 - Alessandro Giua, Carla Seatzu, Yorai Wardi:
IPA for continuous Petri nets. WODES 2010: 47-52 - Jose Cerdeira Gonzalez, Roberto Ortiz Garrido, Antonio Eduardo Carrilho da Cunha:
Rotary-wing UAV mission planning aided by supervisory control. WODES 2010: 324-330 - Lenko Grigorov, Karen Rudie:
Techniques for the parametrization of discrete-event system templates. WODES 2010: 370-375 - Dmitry Gromov, Peter E. Caines:
Initial investigations of hybrid thermodynamic control systems with phase transitions. WODES 2010: 53-58 - Stefan Haar:
What topology tells us about diagnosability in partial order semantics. WODES 2010: 211-216 - Laurent Hardouin, Carlos Andrey Maia, Bertrand Cottenceau, Rafael Santos-Mendes:
Max-plus linear observer: Application to manufacturing systems. WODES 2010: 161-166 - Bernd Heidergott, Warren Volk-Makarewicz, Felisa J. Vázquez-Abad:
Gradient estimation for quantiles of stationary waiting times. WODES 2010: 241-246 - Donald E. Jarvis:
An identification technique for timed event systems. WODES 2010: 181-186 - Qing-Shan Jia:
A rollout method for finite-stage event-based decision processes. WODES 2010: 247-252 - Jorge Júlvez, Cristian Mahulea:
SimHPN: A MATLAB toolbox for continuous Petri nets. WODES 2010: 21-26
skipping 42 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-25 01:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint