default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8. HSCC 2005: Zurich, Switzerland
- Manfred Morari, Lothar Thiele:
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
Invited Papers
- Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi:
Coordinated Control for Highly Reconfigurable Systems. 1-24 - Edward A. Lee, Haiyang Zheng:
Operational Semantics of Hybrid Systems. 25-53 - Pablo A. Parrilo
:
SOS Methods for Semi-algebraic Games and Optimization. 54-54
Regular Papers
- Manindra Agrawal, P. S. Thiagarajan:
The Discrete Time Behavior of Lazy Linear Hybrid Automata. 55-69 - Rajeev Alur, Salvatore La Torre, P. Madhusudan:
Perturbed Timed Automata. 70-85 - Aaron D. Ames, Shankar Sastry:
A Homology Theory for Hybrid Systems: Hybrid Homology. 86-102 - Mohamed Babaali, George J. Pappas:
Observability of Switched Linear Systems in Continuous Time. 103-117 - Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli:
Controller Synthesis on Non-uniform and Uncertain Discrete-Time Domains. 118-133 - 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 - Alberto Bemporad, Stefano Di Cairano:
Optimal Control of Discrete Hybrid Stochastic Automata. 151-167 - Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg E. Stewart, Kingsley Fregene, Datta N. Godbole:
Hybrid Decentralized Control of Large Scale Systems. 168-183 - Jean Buisson, Pierre-Yves Richard, Hervé Cormerais:
On the Stabilisation of Switching Electrical Power Converters. 184-197 - Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu:
Bisimulation for General Stochastic Hybrid Systems. 198-214 - Sophie Chareyron, Pierre-Brice Wieber:
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction. 215-225 - Domitilla Del Vecchio, Richard M. Murray:
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order. 226-241 - Ansgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh:
Refining Abstractions of Hybrid Systems Using Counterexample Fragments. 242-257 - Goran Frehse:
PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech. 258-273 - Tobias Geyer, Georgios Papafotiou:
Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on Feasibility. 274-290 - Antoine Girard:
Reachability of Uncertain Linear Systems Using Zonotopes. 291-305 - Sonja Glavaski, Antonis Papachristodoulou, Kartik B. Ariyur:
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. 306-321 - João P. Hespanha:
Polynomial Stochastic Hybrid Systems. 322-338 - Ian A. Hiskens:
Non-uniqueness in Reverse Time of Hybrid System Trajectories. 339-353 - 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 - Rajesh Kumar, Bruce H. Krogh, Peter H. Feiler:
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems. 370-385 - Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet:
Mode-Automata Based Methodology for Scade. 386-401 - Ruggero Lanotte, Simone Tini:
Taylor Approximation for Hybrid Systems. 402-416 - 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 - Andrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski:
Air-Traffic Control in Approach Sectors: Simulation Examples and Optimisation. 433-448 - Yi Ma, René Vidal:
Identification of Deterministic Switched ARX Systems via Identification of Algebraic Varieties. 449-465 - Tejas R. Mehta, Magnus Egerstedt:
Learning Multi-modal Control Programs. 466-479 - Ian M. Mitchell, Jeremy A. Templeton:
A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid Systems. 480-494 - Katsunori Nakamura, Akira Fusaoka:
On Transfinite Hybrid Automata. 495-510 - Dominik Niederberger:
Design of Optimal Autonomous Switching Circuits to Suppress Mechanical Vibration. 511-525 - Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone:
Interchange Formats for Hybrid Systems: Review and Proposal. 526-541 - Stephen Prajna, Anders Rantzer:
Primal-Dual Tests for Safety and Reachability. 542-556 - Robin L. Raffard, Jianghai Hu, Claire J. Tomlin:
Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems. 557-572 - Stefan Ratschan, Zhikun She:
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. 573-589 - Enric Rodríguez-Carbonell, Ashish Tiwari:
Generating Polynomial Invariants for Hybrid Systems. 590-605 - Mardavij Roozbehani, Eric Feron, Alexandre Megretski:
Modeling, Optimization and Computation for Software Verification. 606-622 - Stefan Strubbe, A. J. van der Schaft:
Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs). 623-639 - Paulo Tabuada:
Sensor/Actuator Abstractions for Symbolic Embedded Control Design. 640-654 - Yan Wang, Zengqi Sun, Fuchun Sun:
Modeling and Control of Networked Control Systems with Random Delays. 655-666 - Guangming Xie, Long Wang:
Controllability Implies Stabilizability for Discrete-Time Switched Linear Systems. 667-682
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-19 20:52 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:
