default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. HSCC 2003: Prague, Czech Republic
- Oded Maler, Amir Pnueli:
Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Lecture Notes in Computer Science 2623, Springer 2003, ISBN 3-540-00913-2
Abstracts of Invited Presentations
- David Berlinski:
The Mathematics of Matter and the Mathematics of Mind. 1 - David Harel:
A Grand Challenge: Full Reactive Modeling of a Multi-cellular Animal. 2 - Udi Peless:
Developing Home Robotics Products: Challenges and Lessons Learned. 3
Regular Contributions
- Rajeev Alur, Thao Dang, Franjo Ivancic:
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. 4-19 - Eugene Asarin
, Thao Dang, Antoine Girard:
Reachability Analysis of Nonlinear Systems Using Conservative Approximation . 20-35 - Adam Austin, Magnus Egerstedt:
Mode Reconstruction for Source Coding and Multi-modal Control. 36-49 - Thomas Bak, Jan Dimon Bendtsen, Anders P. Ravn:
Hybrid Control Design for a Wheeled Mobile Robot. 50-65 - Leandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen:
Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic Systems. 66-80 - Alberto Bemporad, Pandeli Borodani, Massimo Mannelli:
Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions. 81-96 - Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino:
A Greedy Approach to Identification of Piecewise Affine Models. 97-112 - Richard J. Boulton, Ruth Hardy, Ursula Martin:
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems. 113-125 - Manuela-Luminita Bujorianu, John Lygeros:
Reachability Questions in Piecewise Deterministic Markov Processes. 126-140 - Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli:
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. 141-155 - Jean-Guillaume Dumas, Aude Rondepierre:
Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid System. 156-171 - Nael H. El-Farra, Panagiotis D. Christofides:
Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control Actuators. 172-187 - Giancarlo Ferrari-Trecate, Michael Schinkel:
Conditions of Optimal Classification for Piecewise Affine Regression. 188-202 - Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube:
Approximate Stabilisation of Uncertain Hybrid Systems. 203-215 - Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari:
Efficient Mode Enumeration of Compositional Hybrid Systems. 216-232 - Ronojoy Ghosh, Ashish Tiwari, Claire J. Tomlin:
Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata. 233-248 - W. P. M. H. Heemels, M. Kanat Camlibel, A. J. van der Schaft, Johannes M. Schumacher:
Modelling, Well-Posedness, Stability of Switched Electrical Networks. 249-266 - Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann:
Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative Approach. 267-282 - James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg:
On Systematic Simulation of Open Continuous Systems. 283-297 - Xenofon D. Koutsoukos, James Kurien, Feng Zhao:
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. 298-313 - Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild:
Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal Functions. 314-327 - Jie Liu, Edward A. Lee:
On the Causality of Mixed-Signal and Hybrid Models. 328-342 - Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. 343-358 - Rainer Möbus, Mato Baotic, Manfred Morari:
Multi-object Adaptive Cruise Control. 359-374 - Joël Ouaknine, James Worrell:
Universality and Language Inclusion for Open and Closed Timed Automata. 375-388 - Luigi Palopoli, Luca Abeni, Giuseppe Lipari:
On the Application of Hybrid Control to CPU Reservations. 389-404 - Bruno Picasso, Antonio Bicchi:
Stabilization of LTI Systems with Quantized State - Quantized Input Static Feedback. 405-416 - Subramanian Ramamoorthy, Benjamin Kuipers:
Qualitative Heterogeneous Control of Higher Order Systems. 417-434 - William C. Rounds, Hosung Song:
The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded Systems. 435-449 - Matthew Senesky, Gabriel Eirea, Tak-John Koo:
Hybrid Modelling and Control of Power Electronics. 450-465 - M. Shahid Shaikh, Peter E. Caines:
On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location Schedules. 466-481 - Olaf Stursberg, Bruce H. Krogh:
Efficient Representation and Computation of Reachable Sets for Hybrid Systems. 482-497 - Paulo Tabuada, George J. Pappas:
Model Checking LTL over Controllable Linear Systems Is Decidable. 498-513 - Ashish Tiwari:
Approximate Reachability for Linear Systems. 514-525 - René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry:
Observability of Linear Hybrid Systems. 526-539 - Xuping Xu, Panos J. Antsaklis:
Results and Perspectives on Computational Methods for Optimal Control of Switched Systems. 540-555
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-15 19:20 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:
