Design, Simulation, and Implementation of Hybrid Systems

Authors:
Pravin Varaiya
Affiliations:
-
Venue:
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Year:
1999

Citing 8
Cited 2

What's decidable about hybrid automata?

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
The tool KRONOS

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
&egr;-approximation of differential inclusions

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Automata For Modeling Real-Time Systems

ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
What Good Are Digital Clocks?

ICALP '92 Proceedings of the 19th International Colloquium on Automata, Languages and Programming
Verification of Hybrid Systems Using Abstractions

Hybrid Systems II
HYTECH: The Cornell HYbrid TECHnology Tool

Hybrid Systems II
Decidability of Hybrid Systems with Rectangular Differential Inclusion

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification

HPNS: a hybrid process net simulation environment executing online dynamic models of industrial manufacturing systems

Winter Simulation Conference
Declarative abstractions for agent based hybrid control systems

DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII

Quantified Score

Hi-index	0.00

Visualization

Abstract

This talk will present two detailed examples of hybrid systems, covering design, simulation and implementation. The first concerns an Automated Highway System. The second application deals with a collection of autonomous unmanned aircraft. The paper provides a background about hybrid systems.