Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. HSCC 1999: Berg en Dal, The Netherlands
- Frits W. Vaandrager, Jan H. van Schuppen:
Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings. Lecture Notes in Computer Science 1569, Springer 1999, ISBN 3-540-65734-7
Invited Presentations
- Philippe Baufreton:
SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). 1 - Bruce H. Krogh:
Approximating Hybrid System Dynamics for Analysis and Control (Abstract). 2 - Nancy A. Lynch:
High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). 3 - Christopher Lee Miller:
Geometric Categories, O-Minimal Structures and Control (Abstract). 4
Selected Presentations
- Rajeev Alur, Sampath Kannan, Salvatore La Torre:
Polyhedral Flows in Hybrid Automata. 5-18 - Eugene Asarin
, Oded Maler:
As Soon as Possible: Time Optimal Control for Timed Automata. 19-30 - Alberto Bemporad, Manfred Morari:
Verification of Hybrid Systems via Mathematical Programming. 31-45 - Olivier Bournez, Oded Maler, Amir Pnueli:
Orthogonal Polyhedra: Representation and Computation. 46-60 - Mireille E. Broucke:
A Geometric Approach to Bisimulation and Verification of Hybrid Systems. 61-75 - Alongkrit Chutinan, Bruce H. Krogh:
Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. 76-90 - Magnus Egerstedt, Tak-John Koo, Frank Hoffmann, Shankar Sastry:
Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. 91-102 - Mark R. Greenstreet, Ian Mitchell:
Reachability Analysis Using Polygonal Projections. 103-116 - João P. Hespanha, A. Stephen Morse:
Scale-Independent Hysteresis Switching. 117-122 - Jun-ichi Imura, A. J. van der Schaft:
Well-Posedness of a Class of Piecewise Linear Systems with No Jumps. 123-136 - Gerardo Lafferriere, George J. Pappas, Sergio Yovine:
A New Class of Decidable Hybrid Systems. 137-151 - Man Lin:
Synthesis of Control Software in a Layered Architecture from Hybrid Automata. 152-164 - Pieter J. Mosterman:
An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. 165-177 - Pieter J. Mosterman, Gautam Biswas:
Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. 178-192 - Simin Nadjm-Tehrani:
Integration of Analog and Discrete Synchronous Design. 193-208 - Jörg Preußig, Olaf Stursberg, Stefan Kowalewski:
Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. 209-222 - Mauno Rönkkö, Kaisa Sere:
Refinement and Continuous Behaviour. 223-237 - Claire J. Tomlin, John Lygeros, Shankar Sastry:
Computing Controllers for Nonlinear Hybrid Systems. 238-255 - Christos A. Yfoulis, A. Muir, Peter E. Wellstead, N. B. O. L. Pettit:
Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. 256-270
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-05-13 20:15 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:
