default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7. HSCC 2004: Philadelphia, PA, USA
- Rajeev Alur, George J. Pappas:
Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Lecture Notes in Computer Science 2993, Springer 2004, ISBN 3-540-21259-0 - Manindra Agrawal, P. S. Thiagarajan:
Lazy Rectangular Hybrid Automata. 1-15 - Aaron D. Ames
, Shankar Sastry:
Affine Hybrid Systems. 16-31 - Eugene Asarin, Thao Dang:
Abstraction by Projection and Application to Multi-affine Systems. 32-47 - Mohamed Babaali, Magnus Egerstedt:
Observability of Switched Linear Systems. 48-63 - Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire J. Tomlin:
Inference Methods for Autonomous Stochastic Linear Hybrid Systems. 64-79 - Andrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen:
Synthesis for Idle Speed Control of an Automotive Engine. 80-94 - Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin:
Network Congestion Alleviation Using Adjoint Hybrid Control: Application to Highways. 95-110 - Calin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin:
Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid Systems. 111-125 - Alberto Bemporad, Nicolò Giorgetti:
A SAT-Based Hybrid Solver for Optimal Control of Hybrid Systems. 126-141 - Amit Bhatia, Emilio Frazzoli:
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems. 142-156 - Antonio Bicchi, Alessia Marigo, Benedetto Piccoli:
Discrete and Hybrid Nonholonomy. 157-172 - Vincent D. Blondel, Yurii E. Nesterov, Jacques Theys:
Approximations of the Rate of Growth of Switched Linear Systems. 173-186 - Noël Bonneuil, Patrick Saint-Pierre:
The Hybrid Guaranteed Capture Basin Algorithm in Economics. 187-202 - Patricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen:
Staying Alive as Cheaply as Possible. 203-218 - Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler:
On O-Minimal Hybrid Systems. 219-233 - Manuela-Luminita Bujorianu:
Extended Stochastic Hybrid Systems and Their Reachability Problem. 234-249 - M. Kanat Camlibel, W. P. M. H. Heemels, Johannes M. Schumacher:
On the Controllability of Bimodal Piecewise Linear Systems. 250-264 - Pieter Collins, Jan H. van Schuppen:
Observability of Piecewise-Affine Hybrid Systems. 265-279 - Jennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor:
Non-deterministic Temporal Logics for General Flow Systems. 280-295 - Martin De Wulf, Laurent Doyen, Jean-François Raskin:
Almost ASAP Semantics: From Timed Models to Timed Implementations. 296-310 - Domitilla Del Vecchio, Richard M. Murray:
Discrete State Estimators for a Class of Hybrid Systems on a Lattice. 311-325 - Ansgar Fehnker, Franjo Ivancic:
Benchmarks for Hybrid Systems Verification. 326-341 - Tobias Geyer, Georgios Papafotiou, Manfred Morari:
On the Optimal Control of Switch-Mode DC-DC Converters. 342-356 - Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times. 357-371 - William Glover, John Lygeros:
A Stochastic Hybrid Model for Air Traffic Control Simulation. 372-386 - João P. Hespanha:
Stochastic Hybrid Systems: Application to Communication Networks. 387-401 - Timothy J. Hickey, David K. Wittenberg:
Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints. 402-416 - Jianghai Hu, Wei Chung Wu, Shankar Sastry:
Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid Systems. 417-431 - Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models. 432-447 - Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari:
Multi-Parametric Toolbox (MPT). 448-462 - Natasha A. Neogi:
Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and Analysis. 463-476 - Stephen Prajna, Ali Jadbabaie:
Safety Verification of Hybrid Systems Using Barrier Certificates. 477-492 - Fredrik Rosenqvist, Anders Karlström:
Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent Processes. 493-507 - William C. Rounds:
A Spatial Logic for the Hybrid p-Calculus. 508-522 - René Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic:
Full Paper Sheet Control Using Hybrid Automata. 523-538 - Sriram Sankaranarayanan, Henny Sipma, Zohar Manna:
Constructing Invariants for Hybrid Systems. 539-554 - A. J. van der Schaft:
Bisimulation of Dynamical Systems. 555-569 - Dharmashankar Subramanian, Kartik B. Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski:
Control Design for a Hybrid Dynamic System: A NASA Life Support System. 570-584 - Shreyas Sundaram, Christoforos N. Hadjicostis:
Non-concurrent Error Detection and Correction in Switched Linear Controllers. 585-599 - Ashish Tiwari, Gaurav Khanna:
Nonlinear Systems: Approximating Reach Sets. 600-614 - Xuping Xu, Guisheng Zhai:
On Practical Stability and Stabilization of Hybrid and Switched Systems. 615-630 - Christos A. Yfoulis, Robert Shorten:
A Numerical Technique for Stability Analysis of Linear Switched Systems. 631-645 - Chenggui Yuan, John Lygeros:
Asymptotic Stability and Boundedness of Delay Switching Diffusions. 646-659 - Patrick Lincoln, Ashish Tiwari:
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. 660-672
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-12-05 20:50 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:
