-
Crystalline invariants of fractional Chern insulators
Authors:
Ryohei Kobayashi,
Yuxuan Zhang,
Naren Manjunath,
Maissam Barkeshli
Abstract:
In the presence of crystalline symmetry, topologically ordered states can acquire a host of symmetry-protected invariants. These determine the patterns of crystalline symmetry fractionalization of the anyons in addition to fractionally quantized responses to lattice defects. Here we show how ground state expectation values of partial rotations centered at high symmetry points can be used to extrac…
▽ More
In the presence of crystalline symmetry, topologically ordered states can acquire a host of symmetry-protected invariants. These determine the patterns of crystalline symmetry fractionalization of the anyons in addition to fractionally quantized responses to lattice defects. Here we show how ground state expectation values of partial rotations centered at high symmetry points can be used to extract crystalline invariants. Using methods from conformal field theory and G-crossed braided tensor categories, we develop a theory of invariants obtained from partial rotations, which apply to both Abelian and non-Abelian topological orders. We then perform numerical Monte Carlo calculations for projected parton wave functions of fractional Chern insulators, demonstrating remarkable agreement between theory and numerics. For the topological orders we consider, we show that the Hall conductivity, filling fraction, and partial rotation invariants fully characterize the crystalline invariants of the system. Our results also yield invariants of continuum fractional quantum Hall states protected by spatial rotational symmetry.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Polaris: A Safety-focused LLM Constellation Architecture for Healthcare
Authors:
Subhabrata Mukherjee,
Paul Gamble,
Markel Sanz Ausin,
Neel Kant,
Kriti Aggarwal,
Neha Manjunath,
Debajyoti Datta,
Zhengliang Liu,
Jiayuan Ding,
Sophia Busacca,
Cezanne Bianco,
Swapnil Sharma,
Rae Lasko,
Michelle Voisard,
Sanchay Harneja,
Darya Filippova,
Gerry Meixiong,
Kevin Cha,
Amir Youssefi,
Meyhaa Buvanesh,
Howard Weingram,
Sebastian Bierman-Lytle,
Harpreet Singh Mangat,
Kim Parikh,
Saad Godil
, et al. (1 additional authors not shown)
Abstract:
We develop Polaris, the first safety-focused LLM constellation for real-time patient-AI healthcare conversations. Unlike prior LLM works in healthcare focusing on tasks like question answering, our work specifically focuses on long multi-turn voice conversations. Our one-trillion parameter constellation system is composed of several multibillion parameter LLMs as co-operative agents: a stateful pr…
▽ More
We develop Polaris, the first safety-focused LLM constellation for real-time patient-AI healthcare conversations. Unlike prior LLM works in healthcare focusing on tasks like question answering, our work specifically focuses on long multi-turn voice conversations. Our one-trillion parameter constellation system is composed of several multibillion parameter LLMs as co-operative agents: a stateful primary agent that focuses on driving an engaging conversation and several specialist support agents focused on healthcare tasks performed by nurses to increase safety and reduce hallucinations. We develop a sophisticated training protocol for iterative co-training of the agents that optimize for diverse objectives. We train our models on proprietary data, clinical care plans, healthcare regulatory documents, medical manuals, and other medical reasoning documents. We align our models to speak like medical professionals, using organic healthcare conversations and simulated ones between patient actors and experienced nurses. This allows our system to express unique capabilities such as rapport building, trust building, empathy and bedside manner. Finally, we present the first comprehensive clinician evaluation of an LLM system for healthcare. We recruited over 1100 U.S. licensed nurses and over 130 U.S. licensed physicians to perform end-to-end conversational evaluations of our system by posing as patients and rating the system on several measures. We demonstrate Polaris performs on par with human nurses on aggregate across dimensions such as medical safety, clinical readiness, conversational quality, and bedside manner. Additionally, we conduct a challenging task-based evaluation of the individual specialist support agents, where we demonstrate our LLM agents significantly outperform a much larger general-purpose LLM (GPT-4) as well as from its own medium-size class (LLaMA-2 70B).
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Characterization and classification of interacting (2+1)D topological crystalline insulators with orientation-preserving wallpaper groups
Authors:
Naren Manjunath,
Vladimir Calvera,
Maissam Barkeshli
Abstract:
While free fermion topological crystalline insulators have been largely classified, the analogous problem in the strongly interacting case has been only partially solved. In this paper, we develop a characterization and classification of interacting, invertible fermionic topological phases in (2+1) dimensions with charge conservation, discrete magnetic translation and $M$-fold point group rotation…
▽ More
While free fermion topological crystalline insulators have been largely classified, the analogous problem in the strongly interacting case has been only partially solved. In this paper, we develop a characterization and classification of interacting, invertible fermionic topological phases in (2+1) dimensions with charge conservation, discrete magnetic translation and $M$-fold point group rotation symmetries, which form the group $G_f = \text{U}(1)^f \times_φ [\mathbb{Z}^2\rtimes \mathbb{Z}_M]$ for $M=1,2,3,4,6$. $φ$ is the magnetic flux per unit cell. We derive a topological response theory in terms of background crystalline gauge fields, which gives a complete classification of different phases and a physical characterization in terms of quantized response to symmetry defects. We then derive the same classification in terms of a set of real space invariants $\{Θ_{\text{o}}^\pm\}$ that can be obtained from ground state expectation values of suitable partial rotation operators. We explicitly relate these real space invariants to the quantized coefficients in the topological response theory, and find the dependence of the invariants on the chiral central charge $c_-$ of the invertible phase. Finally, when $φ= 0$ we derive an explicit map between the free and interacting classifications.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
X-COBOL: A Dataset of COBOL Repositories
Authors:
Mir Sameed Ali,
Nikhil Manjunath,
Sridhar Chimalakonda
Abstract:
Despite being proposed as early as 1959, COBOL (Common Business-Oriented Language) still predominantly acts as an integral part of the majority of operations of several financial, banking, and governmental organizations. To support the inevitable modernization and maintenance of legacy systems written in COBOL, it is essential for organizations, researchers, and developers to understand the nature…
▽ More
Despite being proposed as early as 1959, COBOL (Common Business-Oriented Language) still predominantly acts as an integral part of the majority of operations of several financial, banking, and governmental organizations. To support the inevitable modernization and maintenance of legacy systems written in COBOL, it is essential for organizations, researchers, and developers to understand the nature and source code of COBOL programs. However, to the best of our knowledge, we are unaware of any dataset that provides data on COBOL software projects, motivating the need for the dataset. Thus, to aid empirical research on comprehending COBOL in open-source repositories, we constructed a dataset of 84 COBOL repositories mined from GitHub, containing rich metadata on the development cycle of the projects. We envision that researchers can utilize our dataset to study COBOL projects' evolution, code properties and develop tools to support their development. Our dataset also provides 1255 COBOL files present inside the mined repositories. The dataset and artifacts are available at https://doi.org/10.5281/zenodo.7968845.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Complete crystalline topological invariants from partial rotations in (2+1)D invertible fermionic states and Hofstadter's butterfly
Authors:
Yuxuan Zhang,
Naren Manjunath,
Ryohei Kobayashi,
Maissam Barkeshli
Abstract:
The theory of topological phases of matter predicts invariants protected only by crystalline symmetry, yet it has been unclear how to extract these from microscopic calculations in general. Here we show how to extract a set of many-body invariants $\{Θ_{\text{o}}^{\pm}\}$, where ${\text{o}}$ is a high symmetry point, from partial rotations in (2+1)D invertible fermionic states. Our results apply i…
▽ More
The theory of topological phases of matter predicts invariants protected only by crystalline symmetry, yet it has been unclear how to extract these from microscopic calculations in general. Here we show how to extract a set of many-body invariants $\{Θ_{\text{o}}^{\pm}\}$, where ${\text{o}}$ is a high symmetry point, from partial rotations in (2+1)D invertible fermionic states. Our results apply in the presence of magnetic field and Chern number $C \neq 0$, in contrast to previous work. $\{Θ_{\text{o}}^{\pm}\}$ together with $C$, chiral central charge $c_-$, and filling $ν$ provide a complete many-body characterization of the topological state with symmetry group $G = \text{U}(1) \times_φ[\mathbb{Z}^2 \rtimes \mathbb{Z}_M]$. Moreover, all these many-body invariants can be obtained from a single bulk ground state, without inserting additional defects. We perform numerical computations on the square lattice Hofstadter model. Remarkably, these match calculations from conformal and topological field theory, where $G$-crossed modular $S, T$ matrices of symmetry defects play a crucial role. Our results provide additional colorings of Hofstadter's butterfly, extending recently discovered colorings by the discrete shift and quantized charge polarization.
△ Less
Submitted 23 October, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Rotational Symmetry Protected Edge and Corner States in Abelian topological phases
Authors:
Naren Manjunath,
Abhinav Prem,
Yuan-Ming Lu
Abstract:
Spatial symmetries can enrich the topological classification of interacting quantum matter and endow systems with non-trivial strong topological invariants (protected by internal symmetries) with additional "weak" topological indices. In this paper, we study the edge physics of systems with a non-trivial shift invariant, which is protected by either a continuous $\text{U}(1)_r$ or discrete…
▽ More
Spatial symmetries can enrich the topological classification of interacting quantum matter and endow systems with non-trivial strong topological invariants (protected by internal symmetries) with additional "weak" topological indices. In this paper, we study the edge physics of systems with a non-trivial shift invariant, which is protected by either a continuous $\text{U}(1)_r$ or discrete $\text{C}_n$ rotation symmetry, along with internal $\text{U}(1)_c$ charge conservation. Specifically, we construct an interface between two systems which have the same Chern number but are distinguished by their Wen-Zee shift and, through analytic arguments supported by numerics, show that the interface hosts counter-propagating gapless edge modes which cannot be gapped by arbitrary local symmetry-preserving perturbations. Using the Chern-Simons field theory description of two-dimensional Abelian topological orders, we then prove sufficient conditions for continuous rotation symmetry protected gapless edge states using two complementary approaches. One relies on the algebraic Lagrangian sub-algebra framework for gapped boundaries while the other uses a more physical flux insertion argument. For the case of discrete rotation symmetries, we extend the field theory approach to show the presence of fractional corner charges for Abelian topological orders with gappable edges, and compute them in the case where the Abelian topological order is placed on the two-dimensional surface of a Platonic solid. Our work paves the way for studying the edge physics associated with spatial symmetries in symmetry enriched topological phases.
△ Less
Submitted 12 May, 2023; v1 submitted 14 March, 2023;
originally announced March 2023.
-
Quantized charge polarization as a many-body invariant in (2+1)D crystalline topological states and Hofstadter butterflies
Authors:
Yuxuan Zhang,
Naren Manjunath,
Gautam Nambiar,
Maissam Barkeshli
Abstract:
We show how to define a quantized many-body charge polarization $\vec{\mathscr{P}}$ for (2+1)D topological phases of matter, even in the presence of non-zero Chern number and magnetic field. For invertible topological states, $\vec{\mathscr{P}}$ is a $\mathbb{Z}_2 \times \mathbb{Z}_2$, $\mathbb{Z}_3$, $\mathbb{Z}_2$, or $\mathbb{Z}_1$ topological invariant in the presence of $M = 2$, $3$, $4$, or…
▽ More
We show how to define a quantized many-body charge polarization $\vec{\mathscr{P}}$ for (2+1)D topological phases of matter, even in the presence of non-zero Chern number and magnetic field. For invertible topological states, $\vec{\mathscr{P}}$ is a $\mathbb{Z}_2 \times \mathbb{Z}_2$, $\mathbb{Z}_3$, $\mathbb{Z}_2$, or $\mathbb{Z}_1$ topological invariant in the presence of $M = 2$, $3$, $4$, or $6$-fold rotational symmetry, lattice (magnetic) translational symmetry, and charge conservation. $\vec{\mathscr{P}}$ manifests in the bulk of the system as (i) a fractional quantized contribution of $\vec{\mathscr{P}} \cdot \vec{b} \text{ mod 1}$ to the charge bound to lattice disclinations and dislocations with Burgers vector $\vec{b}$, (ii) a linear momentum for magnetic flux, and (iii) an oscillatory system size dependent contribution to the effective 1d polarization on a cylinder. We study $\vec{\mathscr{P}}$ in lattice models of spinless free fermions in a magnetic field. We derive predictions from topological field theory, which we match to numerical calculations for the effects (i)-(iii), demonstrating that these can be used to extract $\vec{\mathscr{P}}$ from microscopic models in an intrinsically many-body way. We show how, given a high symmetry point $\text{o}$, there is a topological invariant, the discrete shift $\mathscr{S}_{\text{o}}$, such that $\vec{\mathscr{P}}$ specifies the dependence of $\mathscr{S}_{\text{o}}$ on $\text{o}$. We derive colored Hofstadter butterflies, corresponding to the quantized value of $\vec{\mathscr{P}}$, which further refine the colored butterflies from the Chern number and discrete shift.
△ Less
Submitted 14 July, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Non-perturbative constraints from symmetry and chirality on Majorana zero modes and defect quantum numbers in (2+1)D
Authors:
Naren Manjunath,
Vladimir Calvera,
Maissam Barkeshli
Abstract:
In (1+1)D topological phases, unpaired Majorana zero modes (MZMs) can arise only if the internal symmetry group $G_f$ of the ground state splits as $G_f = G_b \times \mathbb{Z}_2^f$, where $\mathbb{Z}_2^f$ is generated by fermion parity, $(-1)^F$. In contrast, (2+1)D topological superconductors (TSC) can host unpaired MZMs at defects even when $G_f$ is not of the form $G_b \times \mathbb{Z}_2^f$.…
▽ More
In (1+1)D topological phases, unpaired Majorana zero modes (MZMs) can arise only if the internal symmetry group $G_f$ of the ground state splits as $G_f = G_b \times \mathbb{Z}_2^f$, where $\mathbb{Z}_2^f$ is generated by fermion parity, $(-1)^F$. In contrast, (2+1)D topological superconductors (TSC) can host unpaired MZMs at defects even when $G_f$ is not of the form $G_b \times \mathbb{Z}_2^f$. In this paper we study how $G_f$ together with the chiral central charge $c_-$ strongly constrain the existence of unpaired MZMs and the quantum numbers of symmetry defects. Our results utilize a recent algebraic characterization of (2+1)D invertible fermionic topological states, which provides a non-perturbative approach based on topological quantum field theory, beyond free fermions. We study physically relevant groups such as $\mathrm{U}(1)^f\rtimes H,\mathrm{SU}(2)^f \times H, \mathrm{U}(2)^f\rtimes H $, generic Abelian groups, as well as more general compact Lie groups, antiunitary symmetries and crystalline symmetries. We present an algebraic formula for the fermionic crystalline equivalence principle, which gives an equivalence between states with crystalline and internal symmetries. In light of our theory, we discuss several previously proposed realizations of unpaired MZMs in TSC materials such as Sr$_2$RuO$_4$, transition metal dichalcogenides and iron superconductors, in which crystalline symmetries are often important; in some cases we present additional predictions for the properties of these models.
△ Less
Submitted 14 March, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
Fractional disclination charge and discrete shift in the Hofstadter butterfly
Authors:
Yuxuan Zhang,
Naren Manjunath,
Gautam Nambiar,
Maissam Barkeshli
Abstract:
In the presence of crystalline symmetries, topological phases of matter acquire a host of invariants leading to non-trivial quantized responses. Here we study a particular invariant, the discrete shift $\mathscr{S}$, for the square lattice Hofstadter model of free fermions. $\mathscr{S}$ is associated with a $\mathbb{Z}_M$ classification in the presence of $M$-fold rotational symmetry and charge c…
▽ More
In the presence of crystalline symmetries, topological phases of matter acquire a host of invariants leading to non-trivial quantized responses. Here we study a particular invariant, the discrete shift $\mathscr{S}$, for the square lattice Hofstadter model of free fermions. $\mathscr{S}$ is associated with a $\mathbb{Z}_M$ classification in the presence of $M$-fold rotational symmetry and charge conservation. $\mathscr{S}$ gives quantized contributions to (i) the fractional charge bound to a lattice disclination, and (ii) the angular momentum of the ground state with an additional, symmetrically inserted magnetic flux. $\mathscr{S}$ forms its own `Hofstadter butterfly', which we numerically compute, refining the usual phase diagram of the Hofstadter model. We propose an empirical formula for $\mathscr{S}$ in terms of density and flux per plaquette for the Hofstadter bands, and we derive a number of general constraints. We show that bands with the same Chern number may have different values of $\mathscr{S}$, although odd and even Chern number bands always have half-integer and integer values of $\mathscr{S}$ respectively.
△ Less
Submitted 31 December, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Classification of (2+1)D invertible fermionic topological phases with symmetry
Authors:
Maissam Barkeshli,
Yu-An Chen,
Po-Shen Hsin,
Naren Manjunath
Abstract:
We provide a classification of invertible topological phases of interacting fermions with symmetry in two spatial dimensions for general fermionic symmetry groups $G_f$ and general values of the chiral central charge $c_-$. Here $G_f$ is a central extension of a bosonic symmetry group $G_b$ by fermion parity, $(-1)^F$, specified by a second cohomology class…
▽ More
We provide a classification of invertible topological phases of interacting fermions with symmetry in two spatial dimensions for general fermionic symmetry groups $G_f$ and general values of the chiral central charge $c_-$. Here $G_f$ is a central extension of a bosonic symmetry group $G_b$ by fermion parity, $(-1)^F$, specified by a second cohomology class $[ω_2] \in \mathcal{H}^2(G_b, \mathbb{Z}_2)$. Our approach proceeds by gauging fermion parity and classifying the resulting $G_b$ symmetry-enriched topological orders while kee** track of certain additional data and constraints. We perform this analysis through two perspectives, using $G$-crossed braided tensor categories and Spin$(2c_-)_1$ Chern-Simons theory coupled to a background $G$ gauge field. These results give a way to characterize and classify invertible fermionic topological phases in terms of a concrete set of data and consistency equations, which is more physically transparent and computationally simpler than the more abstract methods using cobordism theory and spectral sequences. Our results also generalize and provide a different approach to the recent classification of fermionic symmetry-protected topological phases by Wang and Gu, which have chiral central charge $c_- = 0$. We show how the 10-fold way classification of topological insulators and superconductors fits into our scheme, along with general non-perturbative constraints due to certain choices of $c_-$ and $G_f$. Mathematically, our results also suggest an explicit general parameterization of deformation classes of (2+1)D invertible topological quantum field theories with $G_f$ symmetry.
△ Less
Submitted 30 May, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Classification of fractional quantum Hall states with spatial symmetries
Authors:
Naren Manjunath,
Maissam Barkeshli
Abstract:
Fractional quantum Hall (FQH) states are examples of symmetry-enriched topological states (SETs): in addition to the intrinsic topological order, which is robust to symmetry breaking, they possess symmetry-protected topological invariants, such as fractional charge of anyons and fractional Hall conductivity. In this paper we develop a comprehensive theory of symmetry-protected topological invarian…
▽ More
Fractional quantum Hall (FQH) states are examples of symmetry-enriched topological states (SETs): in addition to the intrinsic topological order, which is robust to symmetry breaking, they possess symmetry-protected topological invariants, such as fractional charge of anyons and fractional Hall conductivity. In this paper we develop a comprehensive theory of symmetry-protected topological invariants for FQH states with spatial symmetries, which applies to Abelian and non-Abelian topological states, by using a recently developed framework of $G$-crossed braided tensor categories ($G\times$BTCs) for SETs. We consider systems with $U(1)$ charge conservation, magnetic translational, and spatial rotational symmetries, in the continuum and for all $5$ orientation-preserving crystalline space groups in two dimensions, allowing arbitrary rational magnetic flux per unit cell, and assuming that symmetries do not permute anyons. In the crystalline setting, applicable to fractional Chern insulators and spin liquids, symmetry fractionalization is fully characterized by a generalization to non-Abelian states of the charge, spin, discrete torsion, and area vectors, which specify fractional charge, angular momentum, linear momentum, and fractionalization of the translation algebra for each anyon. The topological response theory contains $9$ terms, which attach charge, linear momentum, and angular momentum to magnetic flux, lattice dislocations, disclinations, corners, and units of area. Using the $G\times$BTC formalism, we derive the formula relating charge filling to the Hall conductivity and flux per unit cell; in the continuum this relates the filling fraction and the Hall conductivity without assuming Galilean invariance. We provide systematic formulas for topological invariants within the $G\times$BTC framework; this gives, for example, a new categorical definition of the Hall conductivity.
△ Less
Submitted 21 December, 2020;
originally announced December 2020.
-
Adaptive Testing for Specification Coverage
Authors:
Ezio Bartocci,
Roderick Bloem,
Benedikt Maderbacher,
Niveditha Manjunath,
Dejan Ničković
Abstract:
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification languages, such as Signal Temporal Logic (STL), are used to mathematically express CPS requirements and thus render the simulation activity more systematic and principled. We propose a novel method for adaptive generation of t…
▽ More
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification languages, such as Signal Temporal Logic (STL), are used to mathematically express CPS requirements and thus render the simulation activity more systematic and principled. We propose a novel method for adaptive generation of tests with specification coverage for STL. To achieve this goal, we devise cooperative reachability games that we combine with numerical optimization to create tests that explore the system in a way that exercise various parts of the specification. To the best of our knowledge our approach is the first adaptive testing approach that can be applied directly to MATLAB\texttrademark\; Simulink/Stateflow models. We implemented our approach in a prototype tool and evaluated it on several illustrating examples and a case study from the avionics domain, demonstrating the effectiveness of adaptive testing to (1) incrementally build a test case that reaches a test objective, (2) generate a test suite that increases the specification coverage, and (3) infer what part of the specification is actually implemented.
△ Less
Submitted 26 January, 2021; v1 submitted 13 October, 2020;
originally announced October 2020.
-
Crystalline gauge fields and quantized discrete geometric response for Abelian topological phases with lattice symmetry
Authors:
Naren Manjunath,
Maissam Barkeshli
Abstract:
Clean isotropic quantum Hall fluids in the continuum possess a host of symmetry-protected quantized invariants, such as the Hall conductivity, shift and Hall viscosity. Here we develop a theory of symmetry-protected quantized invariants for topological phases defined on a lattice, where quantized invariants with no continuum analog can arise. We develop topological field theories using discrete cr…
▽ More
Clean isotropic quantum Hall fluids in the continuum possess a host of symmetry-protected quantized invariants, such as the Hall conductivity, shift and Hall viscosity. Here we develop a theory of symmetry-protected quantized invariants for topological phases defined on a lattice, where quantized invariants with no continuum analog can arise. We develop topological field theories using discrete crystalline gauge fields to fully characterize quantized invariants of (2+1)D Abelian topological orders with symmetry group $G = U(1) \times G_{\text{space}}$, where $G_{\text{space}}$ consists of orientation-preserving space group symmetries on the lattice. We show how discrete rotational and translational symmetry fractionalization can be characterized by a discrete spin vector, a discrete torsion vector which has no analog in the continuum or in the absence of lattice rotation symmetry, and an area vector, which also has no analog in the continuum. The discrete torsion vector implies a type of crystal momentum fractionalization that is only non-trivial for $2$, $3$, and $4$-fold rotation symmetry. The quantized topological response theory includes a discrete version of the shift, which binds fractional charge to disclinations and corners, a fractionally quantized angular momentum of disclinations, rotationally symmetric fractional charge polarization and its angular momentum counterpart, constraints on charge and angular momentum per unit cell, and quantized momentum bound to dislocations and units of area. The fractionally quantized charge polarization, which is non-trivial only on a lattice with $2$, $3$, and $4$-fold rotation symmetry, implies a fractional charge bound to lattice dislocations and a fractional charge per unit length along the boundary. An important role is played by a finite group grading on Burgers vectors, which depends on the point group symmetry of the lattice.
△ Less
Submitted 17 December, 2020; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Automatic Failure Explanation in CPS Models
Authors:
Ezio Bartocci,
Niveditha Manjunath,
Leonardo Mariani,
Cristinel Mateis,
Dejan Ničković
Abstract:
Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious tas…
▽ More
Debugging Cyber-Physical System (CPS) models can be extremely complex. Indeed, only the detection of a failure is insuffcient to know how to correct a faulty model. Faults can propagate in time and in space producing observable misbehaviours in locations completely different from the location of the fault. Understanding the reason of an observed failure is typically a challenging and laborious task left to the experience and domain knowledge of the designer. \n In this paper, we propose CPSDebug, a novel approach that by combining testing, specification mining, and failure analysis, can automatically explain failures in Simulink/Stateflow models. We evaluate CPSDebug on two case studies, involving two use scenarios and several classes of faults, demonstrating the potential value of our approach.
△ Less
Submitted 29 March, 2019;
originally announced March 2019.
-
A difference-equation formalism for the nodal domains of separable billiards
Authors:
Naren Manjunath,
Rhine Samajdar,
Sudhir R. Jain
Abstract:
Recently, the nodal domain counts of planar, integrable billiards with Dirichlet boundary conditions were shown to satisfy certain difference equations in [Ann. Phys. 351, 1-12 (2014)]. The exact solutions of these equations give the number of domains explicitly. For complete generality, we demonstrate this novel formulation for three additional separable systems and thus extend the statement to a…
▽ More
Recently, the nodal domain counts of planar, integrable billiards with Dirichlet boundary conditions were shown to satisfy certain difference equations in [Ann. Phys. 351, 1-12 (2014)]. The exact solutions of these equations give the number of domains explicitly. For complete generality, we demonstrate this novel formulation for three additional separable systems and thus extend the statement to all integrable billiards.
△ Less
Submitted 22 April, 2016;
originally announced April 2016.