Publications

file

Visible to the public arch2015spec.bib

Submitted by pepponi on Wed, 07/22/2015 - 5:56am
forum

Visible to the public MMA 2015

Submitted by abanerj3 on Wed, 07/08/2015 - 6:09pm

Just one week left to submit your original work in the 2nd International workshop on Mobile Medical Applications held in conjunction with Sensys 2015 in Seoul South Korea.

Submission deadline: July 15th, 2015

https://impact.asu.edu/mma2015.html

forum

Visible to the public CFP: 2015 IoT/CPS-Security Workshop

Submitted by h-leblanc on Sun, 10/26/2014 - 12:11pm

Call for Papers

********************************************************************************************
IoT/CPS-Security 2015

The First IEEE International Workshop on
Security and Privacy for Internet of Things and Cyber-Physical Systems

Organized in conjunction with

IEEE International Conference on Communications (ICC 2015)

8-12 June 2015, London, UK
********************************************************************************************

file

Visible to the public Invariant verification of nonlinear hybrid automata networks of cardiac cells

Submitted by zhuang25 on Fri, 10/03/2014 - 12:47pm

Verification algorithms for networks of nonlinear hybrid au- tomata (HA) can aid understanding and controling of biological processes such as cardiac arrhythmia, formation of memory, and genetic regulation. We present an algorithm for over-approximating reach sets of networks of nonlinear HA which can be used for sound and relatively complete invariant checking. First, it uses automatically computed input-to-state discrepancy functions for the individual automata modules in the network A for constructing a low-dimensional model M.