-
Quantitative Measurement of Cyber Resilience: Modeling and Experimentation
Authors:
Michael J. Weisman,
Alexander Kott,
Jason E. Ellis,
Brian J. Murphy,
Travis W. Parker,
Sidney Smith,
Joachim Vandekerckhove
Abstract:
Cyber resilience is the ability of a system to resist and recover from a cyber attack, thereby restoring the system's functionality. Effective design and development of a cyber resilient system requires experimental methods and tools for quantitative measuring of cyber resilience. This paper describes an experimental method and test bed for obtaining resilience-relevant data as a system (in our ca…
▽ More
Cyber resilience is the ability of a system to resist and recover from a cyber attack, thereby restoring the system's functionality. Effective design and development of a cyber resilient system requires experimental methods and tools for quantitative measuring of cyber resilience. This paper describes an experimental method and test bed for obtaining resilience-relevant data as a system (in our case -- a truck) traverses its route, in repeatable, systematic experiments. We model a truck equipped with an autonomous cyber-defense system and which also includes inherent physical resilience features. When attacked by malware, this ensemble of cyber-physical features (i.e., "bonware") strives to resist and recover from the performance degradation caused by the malware's attack. We propose parsimonious mathematical models to aid in quantifying systems' resilience to cyber attacks. Using the models, we identify quantitative characteristics obtainable from experimental data, and show that these characteristics can serve as useful quantitative measures of cyber resilience.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
Filtering cohomology of ordinary and Lagrangian Grassmannians
Authors:
The 2020 Polymath Jr. REU "q-binomials,
the Grassmannian group",
:,
Huda Ahmed,
Rasiel Chishti,
Yu-Cheng Chiu,
Galen Dorpalen-Barry,
Jeremy Ellis,
David Fang,
Michael Feigen,
Jonathan Feigert,
Mabel González,
Dylan Harker,
Jiaye Wei,
Bhavna Joshi,
Gandhar Kulkarni,
Kapil Lad,
Zhen Liu,
Ma Mingyang,
Lance Myers,
Arjun Nigam,
Tudor Popescu,
Victor Reiner,
Zijian Rong,
Eunice Sukarto
, et al. (9 additional authors not shown)
Abstract:
This paper studies, for a positive integer $m$, the subalgebra of the cohomology ring of the complex Grassmannians generated by the elements of degree at most $m$. We build in two ways upon a conjecture for the Hilbert series of this subalgebra due to Reiner and Tudose. The first reinterprets it in terms of the operation of $k$-conjugation, suggesting two conjectural bases for the subalgebras that…
▽ More
This paper studies, for a positive integer $m$, the subalgebra of the cohomology ring of the complex Grassmannians generated by the elements of degree at most $m$. We build in two ways upon a conjecture for the Hilbert series of this subalgebra due to Reiner and Tudose. The first reinterprets it in terms of the operation of $k$-conjugation, suggesting two conjectural bases for the subalgebras that would imply their conjecture. The second introduces an analogous conjecture for the cohomology of Lagrangian Grassmannians.
△ Less
Submitted 12 September, 2021; v1 submitted 5 November, 2020;
originally announced November 2020.
-
Hierarchical MPC Schemes for Periodic Systems using Stochastic Programming
Authors:
Ranjeet Kumar,
Michael J. Wenzel,
Matthew J. Ellis,
Mohammad N. ElBsat,
Kirk H. Drees,
Victor M. Zavala
Abstract:
We show that stochastic programming (SP) provides a framework to design hierarchical model predictive control (MPC) schemes for periodic systems. This is based on the observation that, if the state policy of an infinite-horizon problem is periodic, the problem can be cast as a stochastic program (SP). This reveals that it is possible to update periodic state targets by solving a retroactive optimi…
▽ More
We show that stochastic programming (SP) provides a framework to design hierarchical model predictive control (MPC) schemes for periodic systems. This is based on the observation that, if the state policy of an infinite-horizon problem is periodic, the problem can be cast as a stochastic program (SP). This reveals that it is possible to update periodic state targets by solving a retroactive optimization problem that progressively accumulates historical data. Moreover, we show that the retroactive problem is a statistical approximation of the SP and thus delivers optimal targets in the long run. Notably, this optimality property can be achieved without the need for data forecasts and cannot be achieved by any known proactive receding horizon scheme. The SP setting also reveals that the retroactive problem can be seen as a high-level hierarchical layer that provides targets to guide a low-level MPC controller that operates over a short period at high resolution. We derive a retroactive scheme tailored to linear systems by using cutting plane techniques and suggest strategies to handle nonlinear systems.
△ Less
Submitted 28 April, 2018;
originally announced April 2018.
-
Women 1.5 Times More Likely to Leave STEM Pipeline After Calculus Compared to Men: Lack of Mathematical Confidence a Potential Culprit
Authors:
Jessica Ellis,
Bailey Fosdick,
Chris Rasmussen
Abstract:
The substantial gender gap in the science, technology, engineering, and mathematics (STEM) workforce can be traced back to the underrepresentation of women at various milestones in the career pathway. Calculus is a necessary step in this pathway and has been shown to often dissuade people from pursuing STEM fields. We examine the characteristics of students who begin college interested in STEM and…
▽ More
The substantial gender gap in the science, technology, engineering, and mathematics (STEM) workforce can be traced back to the underrepresentation of women at various milestones in the career pathway. Calculus is a necessary step in this pathway and has been shown to often dissuade people from pursuing STEM fields. We examine the characteristics of students who begin college interested in STEM and either persist or switch out of the calculus sequence after taking Calculus I, and hence either continue to pursue a STEM major or are dissuaded from STEM disciplines. The data come from a unique, national survey focused on mainstream college calculus. Our analyses show that, while controlling for academic preparedness, career intentions, and instruction, the odds of a woman being dissuaded from continuing in calculus is 1.5 times greater than that for a man. Furthermore, women report they do not understand the course material well enough to continue significantly more often than men. When comparing women and men with above-average mathematical abilities and preparedness, we find women start and end the term with significantly lower mathematical confidence than men. This suggests a lack of mathematical confidence, rather than a lack of mathematically ability, may be responsible for the high departure rate of women. While it would be ideal to increase interest and participation of women in STEM at all stages of their careers, our findings indicate that simply increasing the retention of women starting in college calculus would almost double the number of women entering the STEM workforce.
△ Less
Submitted 21 October, 2015;
originally announced October 2015.
-
Symmetric Criticality for Tight Knots
Authors:
Jason Cantarella,
Jennifer Ellis,
Joseph H. G. Fu,
Matt Mastin
Abstract:
We prove a version of symmetric criticality for ropelength-critical knots. Our theorem implies that a knot or link with a symmetric representative has a ropelength-critical configuration with the same symmetry. We use this to construct new examples of ropelength critical configurations for knots and links which are different from the ropelength minima for these knot and link types.
We prove a version of symmetric criticality for ropelength-critical knots. Our theorem implies that a knot or link with a symmetric representative has a ropelength-critical configuration with the same symmetry. We use this to construct new examples of ropelength critical configurations for knots and links which are different from the ropelength minima for these knot and link types.
△ Less
Submitted 20 December, 2012; v1 submitted 19 August, 2012;
originally announced August 2012.
-
Note on a Differential-Geometrical Construction of Optimal Directions in Linearly-Constrained Systems
Authors:
John Ellis,
Jae Sik Lee,
Apostolos Pilaftsis
Abstract:
This note presents an analytic construction of the optimal unit-norm direction hat(x) = x/|x| that maximizes or minimizes the objective linear expression, B . hat(x), subject to a system of linear constraints of the form [A] . x = 0, where x is an unknown n-dimensional real vector to be determined up to an overall normalization constant, 0 is an m-dimensional null vector, and the n-dimensional rea…
▽ More
This note presents an analytic construction of the optimal unit-norm direction hat(x) = x/|x| that maximizes or minimizes the objective linear expression, B . hat(x), subject to a system of linear constraints of the form [A] . x = 0, where x is an unknown n-dimensional real vector to be determined up to an overall normalization constant, 0 is an m-dimensional null vector, and the n-dimensional real vector B and the m\times n-dimensional real matrix [A] (with 0 =< m < n) are given. The analytic solution to this problem can be expressed in terms of a combination of double wedge and Hodge-star products of differential forms.
△ Less
Submitted 21 September, 2010; v1 submitted 6 September, 2010;
originally announced September 2010.
-
Results from an Algebraic Classification of Calabi-Yau Manifolds
Authors:
F. Anselmo,
J. Ellis,
D. V. Nanopoulos,
G. Volkov
Abstract:
We present results from an inductive algebraic approach to the systematic construction and classification of the `lowest-level' CY3 spaces defined as zeroes of polynomial loci associated with reflexive polyhedra, derived from suitable vectors in complex projective spaces. These CY3 spaces may be sorted into `chains' obtained by combining lower-dimensional projective vectors classified previously…
▽ More
We present results from an inductive algebraic approach to the systematic construction and classification of the `lowest-level' CY3 spaces defined as zeroes of polynomial loci associated with reflexive polyhedra, derived from suitable vectors in complex projective spaces. These CY3 spaces may be sorted into `chains' obtained by combining lower-dimensional projective vectors classified previously. We analyze all the 4242 (259, 6, 1) two- (three-, four-, five-) vector chains, which have, respectively, K3 (elliptic, line-segment, trivial) sections, yielding 174767 (an additional 6189, 1582, 199) distinct projective vectors that define reflexive polyhedra and thereby CY3 spaces, for a total of 182737. These CY3 spaces span 10827 (a total of 10882) distinct pairs of Hodge numbers h_11, h_12. Among these, we list explicitly a total of 212 projective vectors defining three-generation CY3 spaces with K3 sections, whose characteristics we provide.
△ Less
Submitted 15 July, 2000; v1 submitted 14 July, 2000;
originally announced July 2000.
-
Towards an Algebraic Classification of Calabi-Yau Manifolds I: Study of K3 Spaces
Authors:
F. Anselmo,
J. Ellis,
D. V. Nanopoulos,
G. Volkov
Abstract:
We present an inductive algebraic approach to the systematic construction and classification of generalized Calabi-Yau (CY) manifolds in different numbers of complex dimensions, based on Batyrev's formulation of CY manifolds as toric varieties in weighted complex projective spaces associated with reflexive polyhedra. We show how the allowed weight vectors in lower dimensions may be extended to h…
▽ More
We present an inductive algebraic approach to the systematic construction and classification of generalized Calabi-Yau (CY) manifolds in different numbers of complex dimensions, based on Batyrev's formulation of CY manifolds as toric varieties in weighted complex projective spaces associated with reflexive polyhedra. We show how the allowed weight vectors in lower dimensions may be extended to higher dimensions, emphasizing the roles of projection and intersection in their dual description, and the natural appearance of Cartan-Lie algebra structures. The 50 allowed extended four-dimensional vectors may be combined in pairs (triples) to form 22 (4) chains containing 90 (91) K3 spaces, of which 94 are distinct, and one further K3 space is found using duality. In the case of CY_3 spaces, pairs (triples) of the 10~270 allowed extended vectors yield 4242 (259) chains with K3 (elliptic) fibers containing 730 additional K3 polyhedra. A more complete study of CY_3 spaces is left for later work.
△ Less
Submitted 12 February, 2000;
originally announced February 2000.