default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. HSCC 1998: Berkeley, California, USA
- Thomas A. Henzinger, Shankar Sastry:
Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Lecture Notes in Computer Science 1386, Springer 1998, ISBN 3-540-64358-3 - Eugene Asarin
:
Equations on Timed Languages. 1-12 - Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, Carlo Rossi, Alberto L. Sangiovanni-Vincentelli:
Hybrid Control for Automotive Engine Management: The Cut-Off Case. 13-32 - Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashankar:
Hybrid Control of Automotive Powertrain Systems: A Case Study. 33-48 - Sébastien Bornot, Joseph Sifakis:
On the Composition of Hybrid Systems. 49-63 - Linda Bushnell, Octavian Beldiman, Gregory Walsh:
An Equivalence Between a Control Network and a Switched Hybrid System. 64-79 - Björn Carlson, Vineet Gupta:
Hybrid cc with Interval Constraints. 80-95 - Thao Dang, Oded Maler:
Reachability Analysis via Face Lifting. 96-109 - Ansgar Fehnker:
Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. 110-125 - Enrique D. Ferreira, Bruce H. Krogh:
Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. 126-142 - Viktor Friesen:
A Logic for the Specification of Continuous Systems. 143-158 - Mark R. Greenstreet, Ian Mitchell:
Integrating Projections. 159-174 - Kevin X. He, Michael D. Lemmon:
Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. 175-189 - Thomas A. Henzinger, Vlad Rusu:
Reachability Verification for Hybrid Automata. 190-204 - Gerardo Lafferriere, George J. Pappas, Shankar Sastry:
Subanalytic Stratifications and Bisimulations. 205-220 - Georg Lehrenfeld, Rolf Naumann, Rainer Rasche, Carsten Rust, Jürgen Tacken:
Integrated Design and Simulation of Hybrid Systems. 221-236 - Ekaterina S. Lemch, Peter E. Caines:
Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot System. 237-252 - Carolos Livadas, Nancy A. Lynch:
Formal Verification of Safety-Critical Hybrid Systems. 253-272 - John Lygeros, Nancy A. Lynch:
Strings of Vehicles: Modeling and Safety Conditions. 273-288 - John Lygeros, George J. Pappas, Shankar Sastry:
An Approach to the Verification of the Center-TRACON Automation System. 289-304 - Zohar Manna, Henny Sipma:
Deductive Verification of Hybrid Systems Using STeP. 305-318 - Alexey S. Matveev, Andrey V. Savkin:
Reduction and Decomposition of Differential Automata: Theory and Applications. 319-333 - Boris M. Miller:
Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems. 334-345 - Todd W. Neller:
Information-Based Optimization Approaches to Dynamical System Safety Verification. 346-359 - Claire J. Tomlin, John Lygeros, Shankar Sastry:
Synthesizing Controllers for Nonlinear Hybrid Systems. 360-373 - Jan H. van Schuppen:
A Sufficient Condition for Controllability of a Class of Hybrid Systems. 374-383 - Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng:
Hybrid Regular Expressions. 384-399 - Milos Zefran, Joel W. Burdick:
Stabilization of Systems with Changing Dynamics. 400-415
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 2025-03-01 15:18 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:
