Tertiary Links
Publications
Education
Resources
People
Sponsors
Careers
Contact
Alumni
Secondary links
Login
Search this site:
Primary links
Projects
Active Projects
Archived Projects
Tools
Research
Model Integrated Computing
Smart Cities
Distributed Object Computing
Network Embedded Systems
Cyber-Physical Systems
Education Technology
Smart Mobility
Modeling and Analysis of Complex Systems
Careers
Internships
Calendar
Proposal Questionnaire
ISIS VPN
Printers
Home
›
derek.riley
derek.riley
View
Publications
2011
Riley, D.
,
E. Eyisi
,
J. Bai
,
X. Koutsoukos
,
Y. Xue
, and
J. Sztipanovits
,
"
Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems
",
4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011)
, Barcelona, Spain, 03/2011.
Abstract
Tagged
XML
BibTex
Google Scholar
Riley, D.
,
E. Emeka
,
J. Bai
,
X. Koutsoukos
,
Y. Xue
, and
J. Sztipanovits
,
"
Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems
",
Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools)
, 2011.
Tagged
XML
BibTex
Google Scholar
2010
Riley, D.
,
X. Koutsoukos
, and
K. Riley
,
"
Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System
",
European Journal on Control
, vol. 16, no. 6, pp. 609-623, 2010.
Tagged
XML
BibTex
Google Scholar
Riley, D.
,
X. Koutsoukos
, and
K. Riley
,
"
Simulation of Stochastic Hybrid Systems Using Probabilistic Boundary Detection and Adaptive Time Stepping
",
Simulation Modelling Practice and Theory
, vol. 18, no. 9, pp. 1397-1411, 2010.
Tagged
XML
BibTex
Google Scholar
2009
Dubey, A.
,
D. Riley
, and
S. Abdelwahed
,
"
Modeling and Analysis of Probabilistic Timed Systems
",
Engineering of Computer Based Systems
, San Francisco, USA, 04/2009.
Abstract
Tagged
XML
BibTex
Google Scholar
Download:
PTAVerification.pdf
(1.42 MB)