Abstract is missing.
- The Mathematics of Matter and the Mathematics of MindDavid Berlinski. 1 [doi]
- A Grand Challenge: Full Reactive Modeling of a Multi-cellular AnimalDavid Harel. 2 [doi]
- Developing Home Robotics Products: Challenges and Lessons LearnedUdi Peless. 3 [doi]
- Progress on Reachability Analysis of Hybrid Systems Using Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. 4-19 [doi]
- Reachability Analysis of Nonlinear Systems Using Conservative Approximation Eugene Asarin, Thao Dang, Antoine Girard. 20-35 [doi]
- Mode Reconstruction for Source Coding and Multi-modal ControlAdam Austin, Magnus Egerstedt. 36-49 [doi]
- Hybrid Control Design for a Wheeled Mobile RobotThomas Bak, Jan Bendtsen, Anders P. Ravn. 50-65 [doi]
- Modeling and Control of SMT Manufacturing Lines Using Hybrid Dynamic SystemsLeandro G. Barajas, Ashish Kansal, Abhinav Saxena, Magnus Egerstedt, Alex Goldstein, Edward W. Kamen. 66-80 [doi]
- Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and EmissionsAlberto Bemporad, Pandeli Borodani, Massimo Mannelli. 81-96 [doi]
- A Greedy Approach to Identification of Piecewise Affine ModelsAlberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino. 97-112 [doi]
- A Hoare Logic for Single-Input Single-Output Continuous-Time Control SystemsRichard J. Boulton, Ruth Hardy, Ursula Martin. 113-125 [doi]
- Reachability Questions in Piecewise Deterministic Markov ProcessesManuela L. Bujorianu, John Lygeros. 126-140 [doi]
- Automatic Verification of a Turbogas Control System with the Mur varphi VerifierGiuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli. 141-155 [doi]
- Modeling the Electrical Activity of a Neuron by a Continuous and Piecewise Affine Hybrid SystemJean-Guillaume Dumas, Aude Rondepierre. 156-171 [doi]
- Hybrid Control of Parabolic PDEs: Handling Faults of Constrained Control ActuatorsNael H. El-Farra, Panagiotis D. Christofides. 172-187 [doi]
- Conditions of Optimal Classification for Piecewise Affine RegressionGiancarlo Ferrari-Trecate, Michael Schinkel. 188-202 [doi]
- Approximate Stabilisation of Uncertain Hybrid SystemsYan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube. 203-215 [doi]
- Efficient Mode Enumeration of Compositional Hybrid SystemsTobias Geyer, Fabio Danilo Torrisi, Manfred Morari. 216-232 [doi]
- Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling AutomataRonojoy Ghosh, Ashish Tiwari, Claire Tomlin. 233-248 [doi]
- Modelling, Well-Posedness, Stability of Switched Electrical NetworksW. P. M. H. Heemels, M. K. Çamlibel, A. J. van der Schaft, J. M. Schumacher. 249-266 [doi]
- Hybrid Modeling and Simulation of Genetic Regulatory Networks: A Qualitative ApproachHidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann. 267-282 [doi]
- On Systematic Simulation of Open Continuous SystemsJames Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg. 283-297 [doi]
- Estimation of Distributed Hybrid Systems Using Particle Filtering MethodsXenofon D. Koutsoukos, James Kurien, Feng Zhao. 298-313 [doi]
- Event Prediction for Switching Linear Systems with Time Varying Thresholds Using Orthogonal FunctionsAndreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild. 314-327 [doi]
- On the Causality of Mixed-Signal and Hybrid ModelsJie Liu, Edward A. Lee. 328-342 [doi]
- Safety Verification of Model Helicopter Controller Using Hybrid Input/Output AutomataSayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron. 343-358 [doi]
- Multi-object Adaptive Cruise ControlRainer Möbus, Mato Baotic, Manfred Morari. 359-374 [doi]
- Universality and Language Inclusion for Open and Closed Timed AutomataJoël Ouaknine, James Worrell. 375-388 [doi]
- On the Application of Hybrid Control to CPU ReservationsLuigi Palopoli, Luca Abeni, Giuseppe Lipari. 389-404 [doi]
- Stabilization of LTI Systems with Quantized State - Quantized Input Static FeedbackBruno Picasso, Antonio Bicchi. 405-416 [doi]
- Qualitative Heterogeneous Control of Higher Order SystemsSubramanian Ramamoorthy, Benjamin Kuipers. 417-434 [doi]
- The Phi-Calculus: A Language for Distributed Control of Reconfigurable Embedded SystemsWilliam C. Rounds, Hosung Song. 435-449 [doi]
- Hybrid Modelling and Control of Power ElectronicsMatthew Senesky, Gabriel Eirea, Tak-John Koo. 450-465 [doi]
- On the Optimal Control of Hybrid Systems: Optimization of Trajectories, Switching Times, Location SchedulesM. Shahid Shaikh, Peter E. Caines. 466-481 [doi]
- Efficient Representation and Computation of Reachable Sets for Hybrid SystemsOlaf Stursberg, Bruce H. Krogh. 482-497 [doi]
- Model Checking LTL over Controllable Linear Systems Is DecidablePaulo Tabuada, George J. Pappas. 498-513 [doi]
- Approximate Reachability for Linear SystemsAshish Tiwari. 514-525 [doi]
- Observability of Linear Hybrid SystemsRené Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry. 526-539 [doi]
- Results and Perspectives on Computational Methods for Optimal Control of Switched SystemsXuping Xu, Panos J. Antsaklis. 540-555 [doi]