8. HSCC 2005:
Zurich,
Switzerland
Manfred Morari, Lothar Thiele (Eds.):
Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings.
Lecture Notes in Computer Science 3414 Springer 2005, ISBN 3-540-25108-1 BibTeX
Invited Papers
Regular Papers
- Manindra Agrawal, P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata.
55-69
Electronic Edition (link) BibTeX
- Rajeev Alur, Salvatore La Torre, P. Madhusudan:
Perturbed Timed Automata.
70-85
Electronic Edition (link) BibTeX
- Aaron D. Ames, Shankar Sastry:
A Homology Theory for Hybrid Systems: Hybrid Homology.
86-102
Electronic Edition (link) BibTeX
- Mohamed Babaali, George J. Pappas:
Observability of Switched Linear Systems in Continuous Time.
103-117
Electronic Edition (link) BibTeX
- Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli:
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains.
118-133
Electronic Edition (link) BibTeX
- Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider:
Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response in.
134-150
Electronic Edition (link) BibTeX
- Alberto Bemporad, Stefano Di Cairano:
Optimal Control of Discrete Hybrid Stochastic Automata.
151-167
Electronic Edition (link) BibTeX
- Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg Stewart, Kingsley Fregene, Datta N. Godbole:
Hybrid Decentralized Control of Large Scale Systems.
168-183
Electronic Edition (link) BibTeX
- Jean Buisson, Pierre-Yves Richard, Hervé Cormerais:
On the Stabilisation of Switching Electrical Power Converters.
184-197
Electronic Edition (link) BibTeX
- Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu:
Bisimulation for General Stochastic Hybrid Systems.
198-214
Electronic Edition (link) BibTeX
- Sophie Chareyron, Pierre-Brice Wieber:
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction.
215-225
Electronic Edition (link) BibTeX
- Domitilla Del Vecchio, Richard M. Murray:
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order.
226-241
Electronic Edition (link) BibTeX
- Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments.
242-257
Electronic Edition (link) BibTeX
- Goran Frehse:
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech.
258-273
Electronic Edition (link) BibTeX
- Tobias Geyer, Georgios Papafotiou:
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility.
274-290
Electronic Edition (link) BibTeX
- Antoine Girard:
Reachability of Uncertain Linear Systems Using Zonotopes.
291-305
Electronic Edition (link) BibTeX
- Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur:
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
306-321
Electronic Edition (link) BibTeX
- João P. Hespanha:
Polynomial Stochastic Hybrid Systems.
322-338
Electronic Edition (link) BibTeX
- Ian A. Hiskens:
Non-uniqueness in Reverse Time of Hybrid System Trajectories.
339-353
Electronic Edition (link) BibTeX
- Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen:
Comparison of Four Procedures for the Identification of Hybrid Systems.
354-369
Electronic Edition (link) BibTeX
- Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems.
370-385
Electronic Edition (link) BibTeX
- Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet:
Mode-Automata Based Methodology for Scade.
386-401
Electronic Edition (link) BibTeX
- Ruggero Lanotte, Simone Tini:
Taylor Approximation for Hybrid Systems.
402-416
Electronic Edition (link) BibTeX
- Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu:
Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA Systems.
417-432
Electronic Edition (link) BibTeX
- Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski:
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation.
433-448
Electronic Edition (link) BibTeX
- Yi Ma, René Vidal:
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties.
449-465
Electronic Edition (link) BibTeX
- Tejas R. Mehta, Magnus Egerstedt:
Learning Multi-modal Control Programs.
466-479
Electronic Edition (link) BibTeX
- Ian M. Mitchell, Jeremy A. Templeton:
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems.
480-494
Electronic Edition (link) BibTeX
- Katsunori Nakamura, Akira Fusaoka:
On Transfinite Hybrid Automata.
495-510
Electronic Edition (link) BibTeX
- Dominik Niederberger:
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration.
511-525
Electronic Edition (link) BibTeX
- Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal.
526-541
Electronic Edition (link) BibTeX
- Stephen Prajna, Anders Rantzer:
Primal-Dual Tests for Safety and Reachability.
542-556
Electronic Edition (link) BibTeX
- Robin L. Raffard, Jianghai Hu, Claire Tomlin:
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems.
557-572
Electronic Edition (link) BibTeX
- Stefan Ratschan, Zhikun She:
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement.
573-589
Electronic Edition (link) BibTeX
- Enric Rodríguez-Carbonell, Ashish Tiwari:
Generating Polynomial Invariants for Hybrid Systems.
590-605
Electronic Edition (link) BibTeX
- Mardavij Roozbehani, Eric Feron, Alexandre Megretski:
Modeling, Optimization and Computation for Software Verification.
606-622
Electronic Edition (link) BibTeX
- Stefan Strubbe, A. J. van der Schaft:
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs).
623-639
Electronic Edition (link) BibTeX
- Paulo Tabuada:
Sensor/Actuator Abstractions for Symbolic Embedded Control Design.
640-654
Electronic Edition (link) BibTeX
- Yan Wang, Zeng Qi Sun, Fu Chun Sun:
Modeling and Control of Networked Control Systems with Random Delays.
655-666
Electronic Edition (link) BibTeX
- Guangming Xie, Long Wang:
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems.
667-682
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:15:33 2009
by Michael Ley (ley@uni-trier.de)
