Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. HSCC 2001: Rome, Italy
- Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001, Proceedings. Lecture Notes in Computer Science 2034, Springer 2001, ISBN 3-540-41866-0
Abstracts of Invited Presentations
- Manfred Morari:
Control as an Embedded Technology. 1-2 - Costas C. Pantelides:
Optimisation of Hybrid Processes and Hybrid Controllers. 3 - Janos Sztipanovits:
Embedded Software and Systems: Challenges and Approaches. 4
Panel Discussion
- Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis:
Hybrid Systems Applications: An Oxymoron? 5-6
Papers
- Angelo Alessandri, Paolo Coletta:
Design of Luenberger Observers for a Class of Hybrid Linear Systems. 7-18 - Rajeev Alur, Calin Belta, Franjo Ivancic:
Hybrid Modeling and Simulation of Biomolecular Networks. 19-32 - Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
:
Compositional Refinement for Hierarchical Hybrid Systems. 33-48 - Rajeev Alur, Salvatore La Torre, George J. Pappas:
Optimal Paths in Weighted Timed Automata. 49-62 - Hirokazu Anai, Volker Weispfenning:
Reach Set Computations Using Real Quantifier Elimination. 63-76 - Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems. 77-88 - Eugene Asarin, Gerardo Schneider, Sergio Yovine:
On the Decidability of the Reachability Problem for Planar Differential Inclusions. 89-104 - Jean-Pierre Aubin:
The Substratum of Impulse and Hybrid Control Systems. 105-118 - Jean-Pierre Aubin, George Haddad:
Path-Dependent Impulse and Hybrid Systems. 119-132 - Andrea Balluchi, Philippe Souères, Antonio Bicchi:
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle. 133-146 - Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager:
Minimum-Cost Reachability for Priced Timed Automata. 147-161 - Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat:
A Hybrid Approach to Traction Control. 162-174 - Mireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli:
Optimal Control Using Bisimulations: Implementation. 175-188 - Francesco Alessandro Cuzzola, Manfred Morari:
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems. 189-203 - Joel M. Esposito, Vijay Kumar, George J. Pappas:
Accurate Event Detection for Simulating Hybrid Systems. 204-217 - Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari:
A Clustering Technique for the Identification of Piecewise Affine Systems. 218-231 - Ronojoy Ghosh, Claire J. Tomlin:
Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid Model. 232-246 - José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh:
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. 247-260 - Luc C. G. J. M. Habets, Jan H. van Schuppen:
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles. 261-274 - Thomas A. Henzinger, Marius Minea, Vinayak S. Prabhu:
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. 275-290 - João P. Hespanha, Stephan Bohacek, Katia Obraczka, Junsoo Lee:
Hybrid Modeling of TCP Congestion Control. 291-304 - Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry:
Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning Problem. 305-318 - Jens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda:
Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple Observers. 319-332 - Tak-John Koo, George J. Pappas, Shankar Sastry:
Mode Switching Synthesis for Reachability Specifications. 333-346 - Xenofon D. Koutsoukos, Panos J. Antsaklis:
Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov Functions. 347-360 - Piotr Kowalczyk, Mario di Bernardo:
On a Novel Class of Bifurcations in Hybrid Dynamical Systems. 361-374 - Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines:
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings. 375-386 - Vishal Bahl, Andreas A. Linninger:
Modeling of Continuous-Discrete Processes. 387-402 - Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
Hybrid I/O Automata Revisited. 403-417 - Ian M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin:
Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets. 418-432 - Ivar Ekeland, Roger Temam:
Hamiltonian Mechanics2. 418-432 - Thomas Moor, Jennifer M. Davoren:
Robust Controller Synthesis for Hybrid Systems Using Modal Logic. 433-446 - Pieter J. Mosterman:
Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality. 447-458 - Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta N. Godbole:
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization. 459-472 - Jochen Schröder, Jan Lunze:
Representation of Quantised Systems by the Frobenius-Perron Operator. 473-486 - Omid Shakernia, George J. Pappas, Shankar Sastry:
Semi-decidable Synthesis for Triangular Hybrid Systems. 487-500 - Paulo Tabuada, George J. Pappas:
Hybrid Abstractions that Preserve Timed Languages. 501-514
a service of 
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-04-25 20:49 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
