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