Conferences in DBLP
Philippe Baufreton SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Bruce H. Krogh Approximating Hybrid System Dynamics for Analysis and Control (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch High-Level Modeling and Analysis of an Air-Traffic Management System (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Chris Miller Geometric Categories, O-Minimal Structures and Control (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Sampath Kannan , Salvatore La Torre Polyhedral Flows in Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Oded Maler As Soon as Possible: Time Optimal Control for Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Bemporad , Manfred Morari Verification of Hybrid Systems via Mathematical Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Bournez , Oded Maler , Amir Pnueli Orthogonal Polyhedra: Representation and Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Mireille E. Broucke A Geometric Approach to Bisimulation and Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alongkrit Chutinan , Bruce H. Krogh Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] Magnus Egerstedt , Tak-John Koo , Frank Hoffmann , Shankar Sastry Path Planning and Flight Controller Scheduling for an Autonomous Helicopter. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Greenstreet , Ian Mitchell Reachability Analysis Using Polygonal Projections. [Citation Graph (0, 0)][DBLP ] Conf ] João P. Hespanha , A. Stephen Morse Scale-Independent Hysteresis Switching. [Citation Graph (0, 0)][DBLP ] Conf ] Jun-ichi Imura , A. J. van der Schaft Well-Posedness of a Class of Piecewise Linear Systems with No Jumps. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Lafferriere , George J. Pappas , Sergio Yovine A New Class of Decidable Hybrid Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Man Lin Synthesis of Control Software in a Layered Architecture from Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter J. Mosterman An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages. [Citation Graph (0, 0)][DBLP ] Conf ] Pieter J. Mosterman , Gautam Biswas Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. [Citation Graph (0, 0)][DBLP ] Conf ] Simin Nadjm-Tehrani Integration of Analog and Discrete Synchronous Design. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Preußig , Olaf Stursberg , Stefan Kowalewski Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Mauno Rönkkö , Kaisa Sere Refinement and Continuous Behaviour. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Tomlin , John Lygeros , Shankar Sastry Computing Controllers for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Christos A. Yfoulis , A. Muir , P. E. Wellstead , N. B. O. L. Pettit Stabilization of Orthogonal Piecewise Linear Systems: Robustness Analysis and Design. [Citation Graph (0, 0)][DBLP ] Conf ] 