CICADA Collection

Chahlaoui, Younes and Korovina, Margarita (2014) CICADA Collection. [MIMS Preprint]

[img] 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: http://eprints.maths.manchester.ac.uk/id/eprint/2136

Actions (login required)

View Item View Item