# CICADA Publications

Younes Chahlaoui and Margarita Korovina, CICADA Collection, preprint, (2014).

Marc Goodfellow and Paul Glendinning, Mechanisms of intermittent state transitions in a coupled heterogeneous oscillator model of epilepsy, preprint, (2012).

Paul Glendinning, The border collision normal form with stochastic switching surface, preprint, (2012).

Paul Glendinning and Leonard A. Smith, Lacunarity and Period-doubling, preprint, (2012).

M Goodfellow, C Rummel, D Garry, G Baier, K Schindler and P Glendinning, State transitions in a model of intermittent seizure dynamics, preprint, (2012).

Paul Glendinning and Mike Jeffrey, Grazing-sliding bifurcations, the border collision normal form, and the curse of dimensionality for nonsmooth bifurcation theory, preprint, (2012).

V Botella-Soler, J A Oteo, J Ros and P Glendinning, Families of piecewise linear maps with constant Lyapunov exponent, preprint, (2012).

L. M. Bujorianu, Stochastic Reachability Analysis of Hybrid Systems, (2012).

Guishan Xing, Jinliang Ding, Tianyou Chai, Puya Afshar and Hong Wang, Hybrid intelligent parameter estimation based on grey case-based reasoning for laminar cooling process, Engineering Applications of Artiï¬cial Intelligence, 25, (2012).

Mark C. Readman and Dimitrios Kalamatianos, Cell Death: Linear Control Analysis of Eissing's Model, preprint, (2012).

A J Wilkie, G O Jones and M E M Thomas, Integer-valued definable functions, preprint, (2012).

Houman Dallali, Gustavo Medrano-Cerda, Martin Brown, Nikos Tsagarakis and Darwin Caldwell, Decentralized LQR Joint Servo Design for a Compliant Humanoid Robot via LMI Optimisation, (2012).

Margarita Korovina and Nicolai Vorobjov, Reachability in One-Dimensional Controlled Polynomial Dynamical Systems , Lecture Notes in Computer Science, 7162, (2012).

Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur, NLEVP: A Collection of Nonlinear Eigenvalue Problems, preprint, (2011).

Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur, NLEVP: A Collection of Nonlinear Eigenvalue Problems. Users' Guide, preprint, (2011).

Puya Afsahr and Hong Wang, Multiobjective Meta-Heuristic Product Scheduling for Multi-Machine Manufacturing Systems, (2011).

Zakwan Skaf, Ahmad AI-Bayati and Hong Wang, Fault Detection and Diagnosis for General Discrete-time Stochastic Systems Using Output Probability Density Estimation., (2011).

Zakwan Skaf, Ahmad AI-Bayati and Hong Wang, Minimum Entropy Approach For Robot Manipulator, (2011).

Zakwan Skaf, Ahmad AI-Bayati, Hong Wang and Aiping Wang, Iterative Fault Tolerant Control Based on Stochastic Distribution, (2011).

Younes Chahlaoui, An interview with Paul Van Dooren, preprint, (2011).

Hook James and Dave Broomhead, Smoothing non-smooth systems with the moving average transformation, preprint, (2011).

Paul Glendinning, Piotr Kowalczyk and Arne Nordmark, Multiple attractors in grazing-sliding bifurcations in an explicit example of a Filippov type flow, preprint, (2011).

Paul Glendinning, The Two Ball Newton's Cradle, preprint, (2011).

Paul Glendinning, Piotr Kowalczyk and Arne Nordmark, Attractors near grazing-sliding bifurcations, preprint, (2011).

Gareth Jones and Patrick Speissegger, Generating the Pfaffian closure with total Pfaffian functions , preprint, (2011).

Renato Vitolo, Paul Glendinning and Jason A.C. Gallas, Global structure of periodicity hubs in Lyapunov phase diagrams of dissipative flows, preprint, (2011).

Paul Glendinning and Silvia Pina-Romero, Universal scaling of rotation intervals for quasi-periodically forced circle maps, preprint, (2011).

Younes Chahlaoui, Gramian based model reduction of switched dynamical systems, (2011).

L.M. Bujorianu and M.C. Bujorianu, State constrained reachability for stochastic hybrid systems, Nonlinear Analysis: Hybrid Systems, 5, (2011).

Younes Chahlaoui, Model Order Reduction or How to make everything as simple as possible but not simpler, (2011).

Younes Chahlaoui, PVDâ€™s contributions to numerical methods in systems and control, (2011).

Younès Chahlaoui, Two efficient SVD/Krylov algorithms for model order reduction of large scale systems, Electronic Transactions On Numerical Analysis (ETNA), 38, (2011).

Awad H. Al-Mohy and Nicholas J. Higham, Computing the Action of the Matrix Exponential, with an Application to Exponential Integrators, SIAM Journal on Scientific Computing, 33, (2011).

Piotr Kowalczyk, Paul Glendinning, Martin Brown, Gustavo Medrano-Cerda, Houman Dallali and Jonathan Shapiro, Modelling human balance using switched systems with linear feedback control, Journal of the Royal Society Interface.

H. Dallali, G. Medrano-Cerda and M. Brown, CONTROL OF A COMPLIANT HUMANOID ROBOT IN DOUBLE SUPPORT PHASE: A GEOMETRIC APPROACH., Int. J. of Humanoid Robotics (IJHR).

Thomas Jordan, Pablo Shmerkin and Boris Solomyak, Multifractal Structure of Bernoulli Convolutions, preprint, (2011).

Pablo Shmerkin, The dimension of weakly mean porous measures: a probabilistic approach, preprint, (2011).

Paul Glendinning, Invariant measures of the border collision normal form, preprint, (2011).

Authors/Creators UNSPECIFIED, Special Issue: Formal Methods in Aerospace, (2011).

Houman Dallali, MODELLING AND DYNAMIC STABILISATION OF A COMPLIANT HUMANOID ROBOT, CoMan, (2011).

Laurence Grammont, Nicholas J. Higham and Françoise Tisseur, A Framework for Analyzing Nonlinear Eigenproblems and Parametrized Linear Systems, Linear Algebra and its Applications, 435, (2011).

Nicholas J. Higham and Lijing Lin, A Schur--Pad\'e Algorithm for Fractional Powers of a Matrix, SIAM J. on Matrix Analysis and Applications, 32, (2011).

Margarita Korovina and Oleg Kudinov, Algorithmic Properties of Sigma--definability over Positive Predicate Structures, (2011).

Margarita Korovina and Oleg Kudinov, The finite Language for Computable Metric Spaces, (2011).

Margarita Korovina and Nicolai Vorobjov, Reachability in one-dimensional controlled polynomial dynamical systems , (2011).

Paul Glendinning and Chi Hong Wong, Two dimensional attractors in the border collision normal form, preprint, (2010).

Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur, NLEVP: A Collection of Nonlinear Eigenvalue Problems, preprint, (2010).

Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur, NLEVP: A Collection of Nonlinear Eigenvalue Problems. Users' Guide, preprint, (2010).

H. Dallali, G.A. Medrano-Cerda and M. Brown, A Comparison of Multivariable & Decentralized Control Strategies for Robust Humanoid Walking, (2010).

Younes Chahlaoui, A posteriori error bounds for discrete balanced truncation, Linear Algebra and Its Applications, special number in honor of the 65th anniversary of Dan Sorensen in 2011..

P Glendinning and P Kowalczyk, Micro-chaotic dynamics due to digital sampling in hybrid systems of Filippov type, Physica D, 239, (2010).

J Sieber and P Kowalczyk, Small-scale instabilities in dynamical systems with sliding, Physica D, 239, (2010).

Norbert Müller and Margarita Korovina, Making big steps in trajectories, Electronic Proceedings in Theoretical Computer Science, 24, (2010).

Howard Barringer, David Rydeheard and Klaus Havelund, Rule Systems for Run-time Monitoring: from EAGLE to RULER, Journal of Logic and Computation, 20, (2010).

P Glendinning and P Kowalczyk, Dynamics of planar piecewise-smooth slow-fast systems, Physica D.

Nicholas J. Higham and Awad H. Al-Mohy, Computing Matrix Functions, Acta Numerica, 19, (2010).

Margarita Korovina and Oleg Kudinov, Σ_K–constraints for Hybrid Systems , Lecture Notes in Computer Science, 5947, (2010).

Margarita Korovina and Nicolai Vorobjov, Computing combinatorial types of trajectories in Pfaffian Dynamics, Journal of Logic and Algebraic Programming, 79, (2010).

M.L. Bujorianu, Dealing with stochastic reachability, (2009).

M.L. Bujorianu and Hong Wang, Large deviation methods for stochastic reachability, (2009).

I. Arhosalo, E. Järvenpää, M. Järvenpää, M. Rams and P. Shmerkin, Visible parts of fractal percolation, preprint, (2009).

M.L. Bujorianu and M. Fisher, Workshop on Formal Methods for Aerospace (FMA), preprint, (2009).

Marianne Johnson and Mark Kambites, Multiplicative structure of 2x2 tropical matrices, preprint, (2009).

Andrew Ferguson, Thomas Jordan and Pablo Shmerkin, The Hausdorff dimension of the projections of self-affine carpets, preprint, (2009).

Michael Hochman and Pablo Shmerkin, Local entropy averages and projections of fractal measures, preprint, (2009).

Fedor Nazarov, Yuval Peres and Pablo Shmerkin, Convolutions of Cantor measures without resonance, preprint, (2009).

Jörg Schmeling and Pablo Shmerkin, On the dimension of iterated sumsets, preprint, (2009).

Awad H. Al-Mohy and Nicholas J. Higham, A New Scaling and Squaring Algorithm for the Matrix Exponential, SIAM Journal On Matrix Analysis and Applications., 31, (2009).

M.L. Bujorianu and M.C. Bujorianu, State constrained reachability for stochastic hybrid systems, (2009).

Houman Dallali, Martin Brown and Bram Vanderborght, Using the Torso to Compensate for Non-Minimum Phase Behaviour in ZMP Bipedal Walking , (2009).

Paul Glendinning, Bifurcations of Snap-back Repellers with application to Border-Collision Bifurcations, preprint, (2009).

John M. Butterworth and Jonathan L. Shapiro, Stability of learning dynamics in two-agent, imperfect-information games, (2009).

M.C. Bujorianu and M.L. Bujorianu, Towards Co-Engineering Communicating Autonomous Cyber-physical Systems , (2009).

Marius Bujorianu, Manuela Bujorianu and Howard Barringer, A Formal Framework for User-centric Control of Multi-Agent Cyber-physical Systems.

Howard Barringer, Klaus Havelund, David Rydeheard and Alex Groce, Rule Systems for Runtime Verification: A Short Tutorial , Lecture Notes in Computer Science, 5779, (2009).

Howard Barringer, Dov Gabbay and David Rydeheard, Modelling evolvable component systems, Logic Journal of IGPL, 17, (2009).

Younes Chahlaoui, Model reduction of switched dynamical systems, (2009).

Younes Chahlaoui, Françoise Tisseur and Paul Van Dooren, A new approach for MOR of second order Dynamical Systems, (2009).

Korovina Margarita and Kudinov Oleg, Uniformity principle for $\Sigma$-definability, Journal of Logic and Computation, 19, (2009).

M. L. Bujorianu and J. P. Katoen, Symmetry reduction for stochastic hybrid systems, (2008).

Margarita Korovina and Oleg Kudinov, Towards Computability over Effectively Enumerable Topological Spaces, Electronic Notes in Theoretical Computer Science, 221, (2008).

Margarita Korovina and Vorobjov Nicolai, Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems , Theory of Computing Systems, 43, (2008).

Paul Glendinning and Chi Hong Wong, Border collision bifurcations, snap-back repellers and chaos, preprint, (2008).

Paul Glendinning and Piotr Kowalczyk, Dynamics of a hybrid thermostat model with discrete sampling time control, preprint, (2008).

Paul Glendinning, Renormalization for the boundary of chaos in piecewise monotonic maps with a single discontinuity, preprint, (2008).

Andrei Morozov and Margarita Korovina, On $\Sigma$-definability without equality over the real numbers, Mathematical Logic Quarterly, 54, (2008).

Younes Chahlaoui and Paul Van Dooren, First/second order transformation system. Tentative proof, preprint, (2008).

Andrei Morozov and Margarita Korovina, On $\Sigma$-representability of countable structures over real numbers, complex numbers and quaternions, Algebra and Logic, 47, (2008).

Timo Betcke, Nicholas J. Higham, Volker Mehrmann, Christian Schröder and Françoise Tisseur, NLEVP: A Collection of Nonlinear Eigenvalue Problems, preprint, (2008).

Joachim Baran and Howard Barringer, Forays into Sequential Composition and Concatenation in EAGLE, Lecture Notes in Computer Science, 5289, (2008).

Andrei Morozov and Margarita Korovina, Remarks on $\Sigma$-definability without the equality test over the Reals, Electronic Notes in Theoretical Computer Science, 202, (2008).

Corina Puasuareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M Cobleigh and Howard Barringer, Learning to divide and conquer: applying the $L^*$ algorithm to automate assume-guarantee reasoning., Formal Methods in System Design, 32, (2008).

Joachim Baran and Howard Barringer, A Grammatical Representation of Visibly Pushdown Languages , Lecture Notes in Computer Science, 4576, (2007).

Howard Barringer, Dov Gabbay and David Rydeheard, From Runtime Verification to Evolvable Systems , Lecture Notes in Computer Science, 4839, (2007).