(Enter summary)
Abstract: . In this paper a brief overview of hybrid control systems is given and an
introduction to several approaches in hybrid systems research with an extended list of
references is presented. Emphasis is put on Petri net approaches to hybrid control.
RESUME. L'objectif de cet article est de prsenter un tat de l'art des travaux relatifs au
contrle-commande des systmes hybrides. Plusieurs approches de recherche sur les systmes
hybrides sont abordes et une liste tendue de rfrences est propose. Les... (Update)
Cited by: More
A Reachability based Stability Analysis for Switching Systems - Su, Abdelwahed, Neema (2004)
(Correct)
Discrete Abstraction and Supervisory Control of.. - Su, Abdelwahed, Karsai, ..
(Correct)
Online Control for Self-Management in Computing Systems - Abdelwahed, Kandasamy, Neema (2004)
(Correct)
Similar documents (at the sentence level):
35.3%: On Hybrid Control of Complex Systems: A Survey - Antsaklis, Koutsoukos (1997)
(Correct)
Active bibliography (related documents): More All
2.0: A Hybrid Control Strategy based on the Equilibria of .. - Koutsoukos, He.. (1997)
(Correct)
1.9: Hybrid Control Systems Using Timed Petri Nets: Supervisory .. - Koutsoukos, Antsaklis (1999)
(Correct)
1.5: Computational Issues in Intelligent Control.. - Koutsoukos, Antsaklis (1999)
(Correct)
Similar documents based on text: More All
0.4: Functional Networks: A New Computational Framework for the.. - de Francesco (1994)
(Correct)
0.4: Deconstructing Harry, une évaluation des systèmes.. - Poibeau
(Correct)
0.4: Timed Petri nets in Hybrid Systems: Stability and Supervisory - Control Xenofon Koutsoukos
(Correct)
Related documents from co-citation: More All
13: volume 999 of Lecture Notes in Computer Science (context) - Antsaklis, Kohn et al. - 1995
8: An invariant based approach to the design of hybrid control systems containing c..
- Stiver, Antsaklis et al. - 1995
6: The algorithmic analysis of hybrid systems
- Alur, Coucoubetis et al. - 1995
BibTeX entry: (Update)
P.J. Antsaklis and X.D. Koutsoukos. On hybrid control of complex systems: A survey. In 3rd International Conference ADMP'98, Automation of Mixed Processes: Dynamic Hybrid Systems, pages 1--8, Reims, France, March 1998. http://citeseer.ist.psu.edu/article/antsaklis98hybrid.html More
@misc{ antsaklis98hybrid,
author = "P. Antsaklis and X. Koutsoukos",
title = "On hybrid control of complex systems: A survey",
text = "P.J. Antsaklis and X.D. Koutsoukos. On hybrid control of complex systems:
A survey. In 3rd International Conference ADMP'98, Automation of Mixed Processes:
Dynamic Hybrid Systems, pages 1--8, Reims, France, March 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/article/antsaklis98hybrid.html" }
Citations (may not include all citations):
399
The algorithmic analysis of hybrid systems
- ALUR, COURCOUBETIS et al. - 1995
268
The theory of timed automata
- ALUR, DILL - 1994
232
Hybrid automata: An algorithmic approach to the specificatio..
- ALUR, COURCOUBETIS et al.
162
Petri Nets: properties, analysis and applications (context) - MURATA - 1989
155
The tool KRONOS
- DAWS, OLIVERO et al. - 1996
94
Hybrid models for motion control systems (context) - BROCKETT - 1993
77
Control using logic-based switching
- MORSE - 1997
77
Algorithmic analysis of nonlinear hybrid systems
- HENZINGER, HO - 1998
75
Multiple Lyapunov functions and other analysis tools for swi..
- BRANICKY
75
Computation of piecewise quadratic Lyapunov functions for hy..
- JOHANSSON, RANTZER
72
Hybrid dynamical systems theory and the SIGNAL language (context) - BENVENISTE, Le GUERNIC - 1990
72
HYTECH: The Cornell hybrid technology tool
- HENZINGER
52
An extended duration calculus for hybrid real-time systems (context) - CHAOCHEN, RAVN et al.
50
Hybrid system modeling and autonomous control systems (context) - ANTSAKLIS, STIVER et al.
46
Stability theory for hybrid dynamical systems (context) - YE, MICHEL et al.
44
A unified framework for hybrid control (context) - BRANICKY, BORKAR et al. - 1994
44
The shift programming language and runtime system for dynami..
- DESHPANDE, GOLLU et al.
43
Verified hybrid controllers for automated vehicles
- LYGEROS, GODBOLE et al. - 1998
43
Synthesis of supervisory controllers for hybrid systems base.. (context) - KROGH, NIINOMI
40
Conflict resolution for air traffic management: A study in m..
- TOMLIN, PAPPAS et al.
39
Feedback control of Petri nets based on place invariants
- YAMALIDOU, MOODY et al. - 1996
39
Discrete approximation and supervisory control of continuous.. (context) - RAISCH, O'YOUNG
38
Lecture Notes in Computer Science (context) - GROSSMAN, NERODE et al. - 1993
38
Stability and robustness of hybrid systems
- PETTERSSON, LENNARTSON - 1996
37
Viable control of hybrid systems
- DESHPANDE, VARAIYA - 1996
34
Hybrid Systems II (context) - ANTSAKLIS, KOHN et al. - 1995
32
A unified framework for hybrid control: Model and optimal co..
- BRANICKY, BORKAR et al. - 1998
30
A dynamical simulation facility for hybrid systems (context) - BACK, GUCKENHEIMER et al.
28
Multiple agent hybrid control architecture (context) - NERODE, KOHN
28
Hybrid dynamical systems
- GOLLU, VARAIYA - 1989
28
Differential automata and their discrete simulators (context) - TAVERNINI - 1987
26
The synthesis of controllers for linear hybrid automata (context) - WONG-TOI - 1997
23
An invariant based approach to the design of hybrid control ..
- STIVER, ANTSAKLIS et al.
22
Models for hybrid systems: Automata, topologies, controllabi.. (context) - NERODE, KOHN
21
Hybrid Systems IV (context) - ANTSAKLIS, KOHN et al. - 1997
20
Interval timed coloured Petri nets and their analysis
- Van der AALST - 1993
19
Hybrid and Real-Time Systems (context) - MALER - 1997
19
Hybrid Petri nets (context) - Le BAIL, ALLA et al. - 1991
17
the periodicity of symbolic observations of piecewise smooth.. (context) - RAMADGE - 1990
16
Verification of hybrid systems using abstractions
- PURI, VARAIYA
15
A class of hybrid-state continuous-time dynamic systems (context) - WITSENHAUSEN - 1966
15
Hybrid modelling focused on hybrid Petri nets
- PETTERSSON, LENNARTSON - 1995
14
A novel discrete event system approach to modeling and analy.. (context) - STIVER, ANTSAKLIS - 1991
14
Special Issue on Hybrid Systems of Theoretical Computer Scie.. (context) - PNUELI, SIFAKIS - 1995
14
A logical DES approach to the design of hybrid control syste..
- STIVER, ANTSAKLIS et al. - 1996
13
Supervisory control of Petri nets with uncontrollable/unobse..
- MOODY, ANTSAKLIS - 1996
13
Hybrid closed loop systems: A nonlinear control perspective (context) - McCLAMROCH, RUI et al. - 1997
12
Control design for integrator hybrid system
- TITTUS, EGARDT - 1998
12
Multiple agent hybrid control: Carrier manifolds and chatter.. (context) - KOHN, NERODE et al. - 1994
11
approximation of differential inclusions (context) - PURI, Borkar et al.
11
Modeling and simulation of hybrid systems in MATLAB
- TAYLOR, KEBEDE - 1996
10
A robust hybrid stabilization strategy for equilibria
- GUCKENHEIMER - 1995
10
A modeling strategy with event structures for hybrid systems (context) - PELETIES, DeCARLO - 1989
10
Hybrid Systems-Computation and Control (context) - HENZINGER, SASTRY - 1998
9
Timed petri nets in hybrid systems: Stability and supervisor..
- KOUTSOUKOS, HE et al.
9
Modeling hybrid control systems using programmable timed Pet.. (context) - HE, LEMMON - 1998
8
Analysis of hybrid systems using symbolic dynamics and Petri.. (context) - PELETIES, DeCARLO - 1994
7
Safe implementations of supervisory commands
- LEMMON, BETT
7
Hybrid Systems V (context) - ANTSAKLIS, LEMMON et al. - 1998
7
Multiagent hybrid system design using game theory and optima..
- LYGEROS, GODBOLE et al. - 1996
7
Continuous Petri nets (context) - DAVID, ALLA - 1987
7
IEEE Transactions on Automatic Control (context) - ANTSAKLIS, NERODE - 1998
6
Event driven control of switched-integrator systems
- MOOR
6
Differential Petri nets: Representing continuous systems in .. (context) - DEMONGODIN, KOUSSOULAS
6
A hierarchy of discrete abstractions for a hybrid plant (context) - RAISCH - 1998
6
Grafcet: A powerful tool for specification of logic controll.. (context) - DAVID - 1995
5
High-level hybrid Petri nets: A definition (context) - GIUA, USAI - 1996
5
Hybrid modelling of continuous-variable systems with applica.. (context) - LUNZE, NIXDORF et al. - 1997
5
Compositional and uniform modelling of hybrid systems
- BENVENISTE
4
Hybrid object nets: An object oriented concept for modelling.. (context) - DRATH
4
Hierarchical hybrid control systems: A lattice formulation (context) - CAINES
3
Modelling and analysis of hybrid systems (context) - ENGELL
3
Hybrid systems: Chattering approximations to relaxed control.. (context) - GE, KOHN et al.
3
Verification and Control (context) - ALUR, HENZINGER et al. - 1996
3
A modelling method to take into account fluctuations of cont.. (context) - VIBERT, VALENTIN-ROUBINET et al. - 1997
3
Specification of discontinuities in hybrid models (context) - Van BEEK, ROODA
3
Timed automata and robust control: Can we now control comple.. (context) - LEMMON, ANTSAKLIS - 1997
2
Net condition/event systems with multiple condition outputs (context) - RAUSCH, HANISCH - 1995
2
Analytic models of multistage processes (context) - JOHNSON - 1981
2
Hybrid Control Systems Using Timed Petri Nets: Supervisory C..
- KOUTSOUKOS, ANTSAKLIS
2
Constructing hybrid control agents from robust linear contro.. (context) - LEMMON, BETT et al.
2
A hybrid systems approach to computer-aided control engineer.. (context) - KOHN, JAMES et al. - 1995
2
A framework for flexible simulation of batch plants (context) - FRITZ, PREUSS et al. - 1998
2
Continualization: A hybrid systems control technique for com.. (context) - KOHN, NERODE et al. - 1996
2
Block-Diagram based modelling and analysis of hybrid process.. (context) - STURSBERG, KOWALEWSKI et al. - 1998
2
Hybrid feedback laws for a class of nonlinear cascade system.. (context) - KOLMANOVSKY, McCLAMROCH - 1996
2
Modelling Railway Systems with Hybrid Petri Nets (context) - DECKNATEL, SCHNIEDER
1
Procedural aspects in the design of hybrid control systems (context) - OLTEAN
1
Les systmes hybrides : une nouvelle problmatique (context) - QUENEC'HDU, GUEGUEN et al. - 1994
1
Static and dynamic knowledge specification for the control o.. (context) - SAVIGNAC, BERGEON
1
Complemantarity modeling of hybrid systems (context) - SCHAFT, SCHUMACHER
1
Commande rapproche de convertisseurs statiques ralise au moy.. (context) - SECHILARIU, RATOI-COZMA
1
Behaviors in hybrid state systems (context) - DOGRUEL - 1998
1
Modeling and analysis of manufacturing systems using a hybri.. (context) - El-FOULY, ZERHOUNI et al.
1
Condition/event systems: a powerful paradigm for timed and u.. (context) - ENGELL, KOWALEWSKI et al. - 1995
1
Hybrid flow nets for batch processes modelling and simulatio.. (context) - FLAUS - 1997
1
Hybrid supervisor synthesis for a class of hybrid systems (context) - FLAUS
1
Modlisation et vrification des systmes hybrides l'aide du TT.. (context) - ZAYTOON, De LOOR et al. - 1996
1
the recent advances in Grafcet (context) - ZAYTOON, CARRE-MENETRIER et al. - 1997
1
Hybrid Dynamical Systems (context) - ZAYTOON - 1998
1
Ractivit et dterminisme du comportement temporel du Grafcet (context) - LESAGE, ROUSSEL et al.
1
2D-Approach to stability of hybrid systems (context) - FRANKE - 1998
1
Descriptor systems for knowledge modelling and simulation of.. (context) - BUISSON, CORMERAIS - 1998
1
Langage de modlisation unifi et systmes dynamiques hybrides .. (context) - SORIANO
1
Modelling of hybrid flexible systems production systems by C.. (context) - CARADEC, PRUNET - 1998
1
Object-orientation and Petri nets in hybrid control system d.. (context) - CARPANZANO, FERRARINI
1
2D Information processing in the design of learning control .. (context) - AMANN, OWENS et al.
1
Modelling hybrid systems by means of high-level Petri nets: .. (context) - CHAMPAGNAT, ESTEBAN et al. - 1997
1
INGAUD H., ALLA H., VALENTIN-ROUBINET C., FLAUS J.M., VALETT.. (context) - CHAMPAGNAT - 1998
1
H gain schedule synthesis of supervisory hybrid control syst.. (context) - BETT, LEMMON - 1996
1
Hybrid net condition/event systems for modeling and analysis.. (context) - CHEN, HANISCH
1
Automatic generation of discrete models via sample graphs (context) - FRICK, BEARD
1
Discrete Event Dynamic Systems (context) - ANTSAKLIS, LEMMON - 1998
1
Modelling and verification of hybrid systems using hierarchi.. (context) - GENRICH, SCHUART
1
Modelling and simulation of the hybrid behaviour of a contro.. (context) - HOHMANN, ZANNE - 1998
1
Modelling hybrid systems by high-level Petri Nets (context) - GIUA, USAI - 1998
1
Batch Petri nets (context) - DEMONGODIN, PRUNET - 1993
1
On batch recipe structuring and analysis using Grafchart (context) - JOHNSSON, ARZN - 1998
1
From Petri nets to hybrid automata (context) - ALLAM, ALLA - 1998
1
A new approach to generating finite-state control programs f.. (context) - KOHN, NERODE et al. - 1996
1
Time-Augmented nets as descriptions of real-time and hybrid .. (context) - COOK, EVANS
1
Modelling of hybrid control systems using Petri nets
- DEMONGODIN, KOUSSOULAS
1
Analysis of hybrid systems using Hybrid dynamical Models
- NENNINGER, KREBS
1
Requirements for extending Grafcet to hybrid specifications (context) - GUILLEMAUD, GRAVE et al.
1
Modelling of hybrid systems using continuous and hybrid Petr.. (context) - DAVID - 1997
1
The Declarative approach to design of robust control systems (context) - KOHN, JAMES et al. - 1996
1
Modlisation et analyse des systmes hybrides de production (context) - KOMENDA, ZERHOUNI et al.
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC