×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [hybrid automata]
Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006
218 views
TerraME - A modeling Environment for non-isotropic and non-homogeneous spatial dynamic models development TIAGO GARCIA CARNEIRO ANA PAULA AGUIAR MARIA
222 views
Understanding the complex dynamics of a cam-follower impacting system R. Alzate, M. di Bernardo, S. Santini
217 views
USING INSTITUTIONAL ARRANGEMENTS AND HYBRID AUTOMATA FOR REGIONAL SCALE AGENT-BASED MODELING OF LAND CHANGE
122 views
Glue Lecture 5 Slides
214 views
- ALBERT-LUDWIGS UNIVERSITÄT FREIBURG Towards component based design of hybrid systems W.Damm 1, H. Dierks 3, J. Oehlerking 4, A. Pnueli 2
217 views
Modeling and Analysis Techniques in Systems Biology. CS 6221 Lecture 1 P.S. Thiagarajan
214 views
Nonlinear dynamics in a cam-follower impacting system
42 views
Radu Grosu SUNY at Stony Brook Finite Automata as Linear Systems Observability, Reachability and More
219 views