Chahlaoui, Younes and Korovina, Margarita (2014) CICADA Collection. [MIMS Preprint]
PDF
CICADA_Collection2012.pdf Download (1MB) |
Abstract
This volume is CICADA Collection which contains contributions developed by researches working on CICADA Project, The University of Manchester. CICADA Project creates a warm and fruitful atmosphere for research collaboration in many aries of Mathematics, Computer Science, Engineering including hybrid and dynamical systems, verification of safety critical systems, human robotics, model reduction and high dimensional systems, max-pus algebra, stochastic hybrid systems, analysis of adaptive systems and control. This volume presents examples and software which have been developed and used by CICADA community.
Item Type: | MIMS Preprint |
---|---|
Uncontrolled Keywords: | Hybrid systems, CICADA, Benchmarks, Collection |
Subjects: | MSC 2010, the AMS's Mathematics Subject Classification > 37 Dynamical systems and ergodic theory MSC 2010, the AMS's Mathematics Subject Classification > 45 Integral equations MSC 2010, the AMS's Mathematics Subject Classification > 60 Probability theory and stochastic processes MSC 2010, the AMS's Mathematics Subject Classification > 65 Numerical analysis MSC 2010, the AMS's Mathematics Subject Classification > 68 Computer science MSC 2010, the AMS's Mathematics Subject Classification > 90 Operations research, mathematical programming MSC 2010, the AMS's Mathematics Subject Classification > 92 Biology and other natural sciences MSC 2010, the AMS's Mathematics Subject Classification > 93 Systems theory; control |
Depositing User: | Dr Younes Chahlaoui |
Date Deposited: | 22 May 2014 |
Last Modified: | 08 Nov 2017 18:18 |
URI: | https://eprints.maths.manchester.ac.uk/id/eprint/2136 |
Actions (login required)
View Item |