default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. HSCC 2008: St. Louis, MO, USA
- Magnus Egerstedt, Bud Mishra:
Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings. Lecture Notes in Computer Science 4981, Springer 2008, ISBN 978-3-540-78928-4
Regular Papers
- Alessandro Abate, Alessandro D'Innocenzo
, Maria Domenica Di Benedetto, Shankar Sastry:
Markov Set-Chains as Abstractions of Stochastic Hybrid Systems. 1-15 - Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore:
Co-simulation Tools for Networked Control Systems. 16-29 - Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch:
On the Maximum Principle for Impulsive Hybrid Systems. 30-42 - Laurent Bako, René Vidal:
Algebraic Identification of MIMO SARX Models. 43-57 - Luca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli:
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System. 58-71 - Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger:
Controller Synthesis with Budget Constraints. 72-86 - Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu:
Trading Infinite Memory for Uniform Randomness in Timed Games. 87-100 - Christian G. Claudel, Alexandre M. Bayen:
Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components. 101-115 - Pieter J. L. Cuijpers, Michel A. Reniers:
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions. 116-129 - Stefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels:
A Control Lyapunov Approach to Predictive Control of Hybrid Systems. 130-143 - Stefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray:
Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control Systems. 144-157 - Daniele Fontanelli, Luca Greco, Antonio Bicchi:
Anytime Control Algorithms for Embedded Real-Time Systems. 158-171 - Martin Fränzle, Holger Hermanns, Tino Teige:
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems. 172-186 - Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh:
A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. 187-200 - Antoine Girard, Giordano Pola, Paulo Tabuada:
Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems. 201-214 - Antoine Girard, Colas Le Guernic:
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. 215-228 - Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. 229-243 - Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. 244-258 - W. P. M. H. Heemels, M. Kanat Camlibel, Bernard Brogliato, Johannes M. Schumacher:
Observer-Based Control of Linear Complementarity Systems. 259-272 - Andrej Jokic, Mircea Lazar, P. P. J. van den Bosch:
Complementarity Systems in Constrained Steady-State Optimal Control. 273-286 - Marius Kloetzer, Calin Belta:
Dealing with Nondeterminism in Symbolic Control. 287-300 - Hemant Kowshik, Derek Caveney, P. R. Kumar:
Safety and Liveness in Intelligent Intersections. 301-315 - YoungMin Kwon, Gul Agha:
LTLC: Linear Temporal Logic for Control. 316-329 - Fabien Lauer, Gérard Bloch:
Switched and PieceWise Nonlinear Hybrid System Identification. 330-343 - Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh:
Verification of Supervisory Control Software Using State Proximity and Merging. 344-357 - Alexandre Rodrigues Mesquita, João P. Hespanha, Karl Åström:
Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point Measurements. 358-371 - Gou Nakura:
Noncausal Optimal Tracking of Linear Switched Systems. 372-385 - Mihály Petreczky, René Vidal:
Realization Theory for Discrete-Time Semi-algebraic Hybrid Systems. 386-400 - Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
A Decidable Class of Planar Linear Hybrid Systems. 401-414 - Nacim Ramdani, Nacim Meslem, Yves Candau:
Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization. 415-428 - Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley:
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. 429-442 - Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron:
Distributed Lyapunov Functions in Analysis of Graph Models of Software. 443-456 - Ricardo G. Sanfelice, Emilio Frazzoli:
On the Optimality of Dubins Paths across Heterogeneous Terrain. 457-470 - Axel Schild, Jan Lunze:
Switching Surface Design for Periodically Operated Discretely Controlled Continuous Systems. 471-485 - Lorenzo Sella, Pieter Collins:
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata. 486-499 - Yoav Sharon, Daniel Liberzon:
Input-to-State Stabilization with Quantized Output Feedback. 500-513 - Yuichi Tazaki, Jun-ichi Imura:
Bisimilar Finite Abstractions of Interconnected Systems. 514-527 - Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez:
On Controllability of Timed Continuous Petri Nets. 528-541 - Boyan Yordanov, Calin Belta:
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. 542-555 - Kerim Yunt:
Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian Systems. 556-569 - Wenqi Zhang, Herbert G. Tanner:
Composition of Motion Description Languages. 570-583 - Wei Zhang, Jianghai Hu:
On Optimal Quadratic Regulation for Discrete-Time Switched Linear Systems. 584-597
Short Papers
- Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry:
Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid Jumps. 598-601 - Saurabh Amin, Falk M. Hante, Alexandre M. Bayen:
On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting Boundaries. 602-605 - Amit Bhatia, Emilio Frazzoli:
Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear Systems. 606-609 - Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak:
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. 610-613 - Matthew J. Daigle, Xenofon D. Koutsoukos, Gautam Biswas:
An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid Systems. 614-617 - Sumit Kumar Jha:
d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata. 618-621 - Andrew G. Lamperski, Aaron D. Ames:
Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid Systems. 622-625 - Ji-Woong Lee:
Separation in Stability Analysis of Piecewise Linear Systems in Discrete Time. 626-629 - Ian M. Mitchell, Yoshihiko Susuki:
Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation Dynamics. 630-633 - Clemens Moser, Lothar Thiele, Davide Brunelli, Luca Benini:
Approximate Control Design for Solar Driven Sensor Nodes. 634-637 - Milad Niqui, Olga Tveretina:
Modular Development of Hybrid Systems for Verification in Coq. 638-641 - Fabio Pasqualetti, Simone Martini, Antonio Bicchi:
Steering a Leader-Follower Team Via Linear Consensus. 642-645 - André Platzer, Jan-David Quesel:
Logical Verification and Systematic Parametric Analysis in Train Control. 646-649 - Li Pu, Jinchun Hu, Badong Chen:
Information Theoretical Approach to Identification of Hybrid Systems. 650-653 - Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic:
A Policy Iteration Technique for Time Elapse over Template Polyhedra. 654-657 - Ashish Tiwari:
Generating Box Invariants. 658-661 - Laurent Tournier, Jean-Luc Gouzé:
Qualitative Stability Patterns for Lotka-Volterra Systems on Rectangles. 662-665 - Yoshiyuki Tsuchie, Toshimitsu Ushio:
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. 666-669 - Manel Velasco, Pau Martí, Camilo Lozoya:
On the Timing of Discrete Events in Event-Driven Control Systems. 670-673 - Xiaofeng Wang, Michael D. Lemmon:
Decentralized Event-Triggered Broadcasts over Networked Control Systems. 674-677
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 2026-07-12 22:57 CEST 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, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
