Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2010
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 263–272https://doi.org/10.1145/1755952.1755989DNA replication is one of the most fundamental processes in the life of every cell. In earlier work a model to capture the mechanics of the DNA replication process was developed in the stochastic hybrid systems framework. Monte Carlo simulations of the ...
- research-articleApril 2010
Stealthy deception attacks on water SCADA systems
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 161–170https://doi.org/10.1145/1755952.1755976This article investigates the vulnerabilities of Supervisory Control and Data Acquisition (SCADA) systems which monitor and control the modern day irrigation canal systems. This type of monitoring and control infrastructure is also common for many other ...
- research-articleApril 2010
Identifiability of discrete-time linear switched systems
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 141–150https://doi.org/10.1145/1755952.1755973In this paper we study the identifiability of linear switched systems (LSSs) in discrete-time.The question of identifiability is central to system identification, as it sets the boundaries of applicability of any system identification method; no system ...
- research-articleApril 2010
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 111–120https://doi.org/10.1145/1755952.1755969This paper deals with the synthesis of state-feedback controllers using approximately bisimilar abstractions with an emphasis on safety problems.
Such problems consist in synthesizing a controller that restricts the behaviors of a system so that its ...
- research-articleApril 2010
On a control algorithm for time-varying processor availability
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 81–90https://doi.org/10.1145/1755952.1755965We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control input vector sequentially to maximally utilize the processing resources ...
- research-articleApril 2010
Real-time scheduling of mixture-of-experts systems with limited resources
HSCC '10: Proceedings of the 13th ACM international conference on Hybrid systems: computation and controlPages 71–80https://doi.org/10.1145/1755952.1755964Mixture-of-Experts (MoE) systems solve intricate problems by combining results generated independently by multiple computational models (the "experts"). Given an instance of a problem, the responsibility of an expert measures the degree to which the ...