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