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