default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiscrete Event Dynamic Systems, Volume 22
Volume 22, Number 1, March 2012
- Yorai Wardi, Magnus Egerstedt:
Guest editorial: hybrid systems, part II. 1-2 - Simona Sacone
, Silvia Siri:
A control scheme for freeway traffic systems based on hybrid automata. 3-25 - Erik I. Verriest:
Pseudo-continuous multi-dimensional multi-mode systems - Behavior, structure and optimal control. 27-59 - Vadim Azhmyakov, Michael V. Basin, Jörg Raisch:
A Proximal Point Based Approach to Optimal Control of Affine Switched Systems. 61-81 - Herbert G. Tanner, Jie Fu, Chetan Rawal, Jorge L. Piovesan, Chaouki T. Abdallah:
Finite abstractions for hybrid systems with stable continuous dynamics. 83-99 - Patrick Martin, Magnus Egerstedt:
Hybrid systems tools for compiling controllers for cyber-physical systems. 101-119
Volume 22, Number 2, June 2012
- Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart:
Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation. 121-161 - José Merseguer, Simona Bernardi:
Dependability analysis of DES based on MARTE and UML state machines models. 163-178 - Dimitri Lefebvre, Edouard Leclercq:
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs. 179-196 - Chen Yao, Christos G. Cassandras:
Using infinitesimal perturbation analysis of stochastic flow models to recover performance sensitivity estimates of discrete event systems. 197-219 - René K. Boel:
Special section on software cybernetics. 221 - Changyan Zhou, Ratnesh Kumar:
Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata. 223-247
Volume 22, Number 3, September 2012
- João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira:
Computation of minimal event bases that ensure diagnosability. 249-292 - Ton J. J. van den Boom, Bart De Schutter:
Modeling and control of switching max-plus-linear systems with random and deterministic switching. 293-332 - Hicham Chakib, Ahmed Khoumsi:
Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems. 333-380
Volume 22, Number 4, December 2012
- Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune:
Special issue on recent trends in discrete event systems. 381-382 - Stefan Haar:
What topology tells us about diagnosability in partial order semantics. 383-402 - Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom:
An algorithm to compute the minimal siphons in S 4 PR nets. 403-428 - Boussad Addad, Said Amari, Jean-Jacques Lesage:
Networked conflicting timed event graphs representation in (Max, +) algebra. 429-449 - Simon Ware, Robi Malik:
Conflict-preserving abstraction of discrete event systems using annotated automata. 451-477 - Vera Pantelic, Mark Lawford:
A pseudometric in supervisory control of probabilistic discrete event systems. 479-510 - Stefan T. J. Forschelen, Joanna M. van de Mortel-Fronczak, Rong Su, Jacobus E. Rooda:
Application of supervisory control theory to theme park vehicles. 511-540 - Philip Twu, Patrick Martin, Magnus Egerstedt:
Graph process specifications for hybrid networked systems. 541-577
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.
last updated on 2024-11-22 19:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
