Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking

For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have attracted the attention of both industrial practitioners and academic researchers. Falsification is one popular testing method of CPSs utilizing stochastic optimization. In state-of-the-art falsification methods, the result of the previous falsification trials is discarded, and we always try to falsify without any prior knowledge. To concisely memorize such prior information on the CPS model and exploit it, we employ Black-box checking (BBC), which is a combination of automata learning and model checking. Moreover, we enhance BBC using the robust semantics of STL formulas, which is the essential gadget in falsification. Our experiment results suggest that our robustness-guided BBC outperforms a state-of-the-art falsification tool.Comment: Accepted to HSCC 202

On the methodology of management research

Epistemology, methodology or philosophy of science, i.e., the foundations and validity of knowledge, have never been very popular subjects as applied to management research. Lately, though, the need for better theories and the methodological discussion underlying the creation of such theories appears to be receiving more attention. In this paper, I will review some basic underlying issues in the area by taking a look at to some of the classical authors. I will first analyze Hayek's view of methodological problems in economics and then apply his analysis to the development of management theory. Then, I'll elaborate on Elster's distinction between causal, functional and intentional explanations. Naïve methodological attitudes will be discussed in this context. I will use agency theory as an example of what should and should not be done. Finally, I'll examine the falsification criterion in management theory and discuss the role of mathematics in the development of theory.epistemology; philosophy of science; methodology; management theory; foundations of management;

Byzantine Attack and Defense in Cognitive Radio Networks: A Survey

The Byzantine attack in cooperative spectrum sensing (CSS), also known as the spectrum sensing data falsification (SSDF) attack in the literature, is one of the key adversaries to the success of cognitive radio networks (CRNs). In the past couple of years, the research on the Byzantine attack and defense strategies has gained worldwide increasing attention. In this paper, we provide a comprehensive survey and tutorial on the recent advances in the Byzantine attack and defense for CSS in CRNs. Specifically, we first briefly present the preliminaries of CSS for general readers, including signal detection techniques, hypothesis testing, and data fusion. Second, we analyze the spear and shield relation between Byzantine attack and defense from three aspects: the vulnerability of CSS to attack, the obstacles in CSS to defense, and the games between attack and defense. Then, we propose a taxonomy of the existing Byzantine attack behaviors and elaborate on the corresponding attack parameters, which determine where, who, how, and when to launch attacks. Next, from the perspectives of homogeneous or heterogeneous scenarios, we classify the existing defense algorithms, and provide an in-depth tutorial on the state-of-the-art Byzantine defense schemes, commonly known as robust or secure CSS in the literature. Furthermore, we highlight the unsolved research challenges and depict the future research directions.Comment: Accepted by IEEE Communications Surveys and Tutoiral

A perspective on the landscape problem

I discuss the historical roots of the landscape problem and propose criteria for its successful resolution. This provides a perspective to evaluate the possibility to solve it in several of the speculative cosmological scenarios under study including eternal inflation, cosmological natural selection and cyclic cosmologies.Comment: Invited contribution for a special issue of Foundations of Physics titled: Forty Years Of String Theory: Reflecting On the Foundations. 31 pages, no figure