Hybrid Systems IV

Hybrid computation

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

Introduction to the Special Issue

Discrete Event Dynamic Systems

Timed Petri Nets in Hybrid Systems: Stability and SupervisoryControl

Discrete Event Dynamic Systems

Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations

Discrete Event Dynamic Systems

Modeling, simulation, sensitivity analysis, and optimization of hybrid systems

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Hybrid Systems with Finite Bisimulations

Hybrid Systems V

Hybrid Control Systems Usind Timed Petri Nets: Supervisory Control Design Based on Invariant Properties

Hybrid Systems V

Approximating Automata and Discrete Control for Continuous Systems - Two Examples from Process Control

Hybrid Systems V

Scalble Data and Sensor Fusion via Multiple Agent Hybrid Systems

Hybrid Systems V

Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97

Hybrid I/O automata

Information and Computation

Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation

Logic and Control

CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World

Using formal specifications to support testing

ACM Computing Surveys (CSUR)

Brief Paper: On the Markov Property of Quantised State Measuirement Sequences

Automatica (Journal of IFAC)