Conferences in DBLP
Amir Pnueli Verifying Liveness Properties of Reactive Systems (Tutorial Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Artstein The Lyapunov Method (Tutorial Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Ruf , Thomas Kropf A New Algorithm for Discrete Timed Symbolic Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Raskin , Pierre-Yves Schobbens State Clock Logic: A Decidable Real-Time Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Orna Kupferman From Quantity to Quality. [Citation Graph (0, 0)][DBLP ] Conf ] Vlad Rusu Verifying Periodic Task-Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luming Lai , Phil Watson A Case Study in Timed CSP: The Railroad Crossing Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Boniol , Augusto Burgueño , Olivier Roux , Vlad Rusu Analysis of Slope-Parametric Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ralf Huuck , Yassine Lakhnech , Luis Urbina , Sebastian Engell , Stefan Kowalewski , Jörg Preußig Comparing Timed C/E Systems with Timed Automata (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] M. S. Hajji , Julian M. Bass , Adrian Browne , Peter J. Fleming Design Tools for Hybrid Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Branicky On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps. [Citation Graph (0, 0)][DBLP ] Conf ] Shankar Sastry Hybrid Control Issues in Ais Traffic Management Systems (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John Lygeros , Claire Tomlin , Shankar Sastry Multiobjective Hybrid Controller Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Cerone , Alex J. Cowie , George J. Milne , Philip A. Moseley Modelling a Time-Dependent Protocol Using the Circal Process Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Stauner , Olaf Müller , Max Fuchs Using HYTECH to Verify an Automative Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Ekaterina Dolginova , Nancy A. Lynch Safety Verification for Automated Platoon Maneuvers: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Myla Archer , Constance L. Heitmeyer Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] David Sinclair Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Terwiesch , Erich Scheiben , Anders Jenry Petersen , Thomas Keller 0003 A Digital Real-Time Simulator for Rail-Vehicle Control System Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Flaus , Guy Ollagnon Hybrid Flow Nets for Hybrid Processes: Modelling and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Boris M. Miller Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Pettersson , Bengt Lennartson Controller Design of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Caspi What Can We Learn from Synchronous Data-Flow Languages? [Citation Graph (0, 0)][DBLP ] Conf ] Adam L. Turk , Scott T. Probst , Gary J. Powers Verification of Real Time Chemical Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Müller , Peter Scholz Functional Specification of Real-Time and Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Bornot , Joseph Sifakis Relating Time Progress and Deadlines in Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Qiwen Xu Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Carsten Weise , Dirk Lenzkes Weak Refinement for Modal Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vineet Gupta , Thomas A. Henzinger , Radha Jagadeesan Robust Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Asarin , Marius Bozga , Alain Kerbrat , Oded Maler , Amir Pnueli , Anne Rasse Data-Structures for the Verification of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , R. K. Shyamasundar Synthesizing Controllers for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Heymann , Feng Lin , George Meyer Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Wolf Kohn , Jeffrey B. Remmel Hybrid Dynamic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Toshimitsu Ushio Invariance Principle in Hybrid Systems Modeled by Mixed Mappings. [Citation Graph (0, 0)][DBLP ] Conf ] A. J. van der Schaft , J. M. Schumacher Hybrid Systems Described by the Complementary Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Bart De Schutter , Bart De Moor Generalized Linear Complementary Problems and the Analysis of Continuously Variable Systems and Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pravin Varaiya SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation). [Citation Graph (0, 0)][DBLP ] Conf ] 