Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Physical Sciences and Mathematics
Reachnn: Reachability Analysis Of Neural-Network Controlled Systems, Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
Reachnn: Reachability Analysis Of Neural-Network Controlled Systems, Chao Huang, Jiameng Fan, Wenchao Li, Xin Chen, Qi Zhu
Computer Science Faculty Publications
Applying neural networks as controllers in dynamical systems has shown great promises. However, it is critical yet challenging to verify the safety of such control systems with neural-network controllers in the loop. Previous methods for verifying neural network controlled systems are limited to a few specific activation functions. In this work, we propose a new reachability analysis approach based on Bernstein polynomials that can verify neural-network controlled systems with a more general form of activation functions, i.e., as long as they ensure that the neural networks are Lipschitz continuous. Specifically, we consider abstracting feedforward neural networks with Bernstein polynomials for …
An Introduction To Declarative Programming In Clips And Prolog, Jack L. Watkin, Adam C. Volk, Saverio Perugini
An Introduction To Declarative Programming In Clips And Prolog, Jack L. Watkin, Adam C. Volk, Saverio Perugini
Computer Science Faculty Publications
We provide a brief introduction to CLIPS—a declarative/logic programming language for implementing expert systems—and PROLOG—a declarative/logic programming language based on first-order, predicate calculus. Unlike imperative languages in which the programmer specifies how to compute a solution to a problem, in a declarative language, the programmer specifies what they what to find, and the system uses a search strategy built into the language. We also briefly discuss applications of CLIPS and PROLOG.
An Interactive, Graphical Simulator For Teaching Operating Systems, Joshua W. Buck, Saverio Perugini
An Interactive, Graphical Simulator For Teaching Operating Systems, Joshua W. Buck, Saverio Perugini
Computer Science Faculty Publications
We demonstrate a graphical simulation tool for visually and interactively exploring the processing of a variety of events handled by an operating system when running a program. Our graphical simulator is available for use on the web by both instructors and students for purposes of pedagogy. Instructors can use it for live demonstrations of course concepts in class, while students can use it outside of class to explore the concepts. The graphical simulation tool is implemented using the React library for the fancy ui elements of the Node.js framework and is available as a web application at https://cpudemo.azurewebsites.net. The goals …
Developing A Contemporary And Innovative Operating Systems Course, Saverio Perugini, David J. Wright
Developing A Contemporary And Innovative Operating Systems Course, Saverio Perugini, David J. Wright
Computer Science Faculty Publications
This birds-of-a-feather provides a discussion forum to foster innovation in teaching operating systems (os) at the undergraduate level. This birds-of-a-feather seeks to generate discussion and ideas around pedagogy for os and, in particular, how we might develop a contemporary and innovative model, in both content and delivery, for an os course—that plays a central role in a cs curriculum—and addresses significant issues of misalignment between existing os courses and employee professional skills and knowledge requirements. We would like to exchange ideas regarding a re-conceptualized course model of os curriculum and related pedagogy, especially in the areas of mobile OSs and …
A New Way To Detect Cyberattacks Extracting Changes In Register Values From Radio-Frequency Side Channels, Ronald A. Riley, James T. Graham, Ryan M. Fuller, Rusty O. Baldwin, Ashwin Fisher
A New Way To Detect Cyberattacks Extracting Changes In Register Values From Radio-Frequency Side Channels, Ronald A. Riley, James T. Graham, Ryan M. Fuller, Rusty O. Baldwin, Ashwin Fisher
Computer Science Faculty Publications
The Internet of Things (IoT) and the Internet of Everything (IoE) have driven processors into nearly every powered de- vice, from thermostats to refrigerators to light bulbs. From a security perspective, the IoT and IoE create a new layer of sig- nals and systems that can provide insight into the internal opera- tions of a device via analog side channels. Our research focuses on leveraging these analog side channels in IoT/IoE processors to detect intrusions. Our goal is to defend against cyberattacks that insert malware into IoT devices by detecting deviations in the code running on their processors from known …
Predicting Public Opinion On Drug Legalization: Social Media Analysis And Consumption Trends, Farahnaz Golrooy Motlagh, Saeedeh Shekarpour, Amit Sheth, Krishnaprasad Thirunarayan, Michael L. Raymer
Predicting Public Opinion On Drug Legalization: Social Media Analysis And Consumption Trends, Farahnaz Golrooy Motlagh, Saeedeh Shekarpour, Amit Sheth, Krishnaprasad Thirunarayan, Michael L. Raymer
Computer Science Faculty Publications
In this paper, we focus on the collection and analysis of relevant Twitter data on a state-by-state basis for (i) measuring public opinion on marijuana legalization by mining sentiment in Twitter data and (ii) determining the usage trends for six distinct types of marijuana. We overcome the challenges posed by the informal and ungrammatical nature of tweets to analyze a corpus of 306,835 relevant tweets collected over the four-month period, preceding the November 2015 Ohio Marijuana Legalization ballot and the four months after the election for all states in the US. Our analysis revealed two key insights: (i) the people …
Reachability Analysis For Neural Feedback Systems Using Regressive Polynomial Rule Inference, Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
Reachability Analysis For Neural Feedback Systems Using Regressive Polynomial Rule Inference, Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan
Computer Science Faculty Publications
We present an approach to construct reachable set overapproxi- mations for continuous-time dynamical systems controlled using neural network feedback systems. Feedforward deep neural net- works are now widely used as a means for learning control laws through techniques such as reinforcement learning and data-driven predictive control. However, the learning algorithms for these net- works do not guarantee correctness properties on the resulting closed-loop systems. Our approach seeks to construct overapproxi- mate reachable sets by integrating a Taylor model-based flowpipe construction scheme for continuous differential equations with an approach that replaces the neural network feedback law for a small subset of …