: Verifying Liveness Properties of Reactive Systems (Tutorial Abstract).
: Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change.
: Verifying Periodic Task-Control Systems.
Michael S. Branicky
: On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps.
: Hybrid Control Issues in Ais Traffic Management Systems (Abstract).
: Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition.
Boris M. Miller
: Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous Systems.
: What Can We Learn from Synchronous Data-Flow Languages?
: Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus.
: Invariance Principle in Hybrid Systems Modeled by Mixed Mappings.
Bart De Schutter
, Bart De Moor
: Generalized Linear Complementary Problems and the Analysis of Continuously Variable Systems and Discrete Event Systems.
: SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation).