Showing 51–97 of 97 results for author: Meyer, P

Learning an Uncertainty-Aware Object Detector for Autonomous Driving

Authors: Gregory P. Meyer, Niranjan Thakurdesai

Abstract: The capability to detect objects is a core part of autonomous driving. Due to sensor noise and incomplete data, perfectly detecting and localizing every object is infeasible. Therefore, it is important for a detector to provide the amount of uncertainty in each prediction. Providing the autonomous system with reliable uncertainties enables the vehicle to react differently based on the level of unc… ▽ More The capability to detect objects is a core part of autonomous driving. Due to sensor noise and incomplete data, perfectly detecting and localizing every object is infeasible. Therefore, it is important for a detector to provide the amount of uncertainty in each prediction. Providing the autonomous system with reliable uncertainties enables the vehicle to react differently based on the level of uncertainty. Previous work has estimated the uncertainty in a detection by predicting a probability distribution over object bounding boxes. In this work, we propose a method to improve the ability to learn the probability distribution by considering the potential noise in the ground-truth labeled data. Our proposed approach improves not only the accuracy of the learned distribution but also the object detection performance. △ Less

Submitted 3 February, 2020; v1 submitted 24 October, 2019; originally announced October 2019.

The Kostant invariant and special $ε$-orthogonal representations for $ε$-quadratic colour Lie algebras

Authors: Philippe Meyer

Abstract: Let k be a field of characteristic not two or three, let $\mathfrak{g}$ be a finite-dimensional colour Lie algebra and let V be a finite-dimensional representation of $\mathfrak{g}$. In this article we give various ways of constructing a colour Lie algebra $\tilde{\mathfrak{g}}$ whose bracket in some sense extends both the bracket of $\mathfrak{g}$ and the action of $\mathfrak{g}$ on V. Colour Lie… ▽ More Let k be a field of characteristic not two or three, let $\mathfrak{g}$ be a finite-dimensional colour Lie algebra and let V be a finite-dimensional representation of $\mathfrak{g}$. In this article we give various ways of constructing a colour Lie algebra $\tilde{\mathfrak{g}}$ whose bracket in some sense extends both the bracket of $\mathfrak{g}$ and the action of $\mathfrak{g}$ on V. Colour Lie algebras, originally introduced by R. Ree ([Ree60]), generalise both Lie algebras and Lie superalgebras, and in those cases our results imply many known results ([Kos99], [Kos01], [CK15], [SS15]). For a class of representations arising in this context we show there are covariants satisfying identities analogous to Mathews identities for binary cubics. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Journal ref: Journal of Algebra (2021), 572, 337-380

SDN4CoRE: A Simulation Model for Software-Defined Networking for Communication over Real-Time Ethernet

Authors: Timo Häckel, Philipp Meyer, Franz Korf, Thomas C. Schmidt

Abstract: Ethernet has become the next standard for automotive and industrial automation networks. Standard extensions such as IEEE 802.1Q Time-Sensitive Networking (TSN) have been proven to meet the real-time and robustness requirements of these environments. Augmenting the TSN switching by Software-Defined Networking functions promises additional benefits: A programming option for TSN devices can add much… ▽ More Ethernet has become the next standard for automotive and industrial automation networks. Standard extensions such as IEEE 802.1Q Time-Sensitive Networking (TSN) have been proven to meet the real-time and robustness requirements of these environments. Augmenting the TSN switching by Software-Defined Networking functions promises additional benefits: A programming option for TSN devices can add much value to the resilience, security, and adaptivity of the environment. Network simulation allows to model highly complex networks before assembly and is an essential process for the design and validation of future networks. Still, a simulation environment that supports programmable real-time networks is missing. This paper fills the gap by sharing our simulation model for Software-Defined Networking for Communication over Real-Time Ethernet (SDN4CoRE) and present initial results in modeling programmable real-time networks. In a case study, we show that SDN4CoRE can simulate complex programmable real-time networks and allows for testing and verifying the programming of real-time devices. △ Less

Submitted 26 August, 2019; originally announced August 2019.

Comments: If you cite this paper, please use the original reference: T. Häckel, P. Meyer, F. Korf, and T. C. Schmidt. SDN4CoRE: A Simulation Model for Software-Defined Networking for Communication over Real-Time Ethernet. In: Proceedings of the 6th International OMNeT++ Community Summit. September, 2019, Easychair

DoS Protection through Credit Based Metering -- Simulation-Based Evaluation for Time-Sensitive Networking in Cars

Authors: Philipp Meyer, Timo Häckel, Franz Korf, Thomas C. Schmidt

Abstract: Ethernet is the most promising solution to reduce complexity and enhance the bandwidth in the next generation in-car networks. Dedicated Ethernet protocols enable the real-time aspects in such networks. One promising candidate is the IEEE 802.1Q Time-Sensitive Networking protocol suite. Common Ethernet technologies, however, increases the vulnerability of the car infrastructure as they widen the a… ▽ More Ethernet is the most promising solution to reduce complexity and enhance the bandwidth in the next generation in-car networks. Dedicated Ethernet protocols enable the real-time aspects in such networks. One promising candidate is the IEEE 802.1Q Time-Sensitive Networking protocol suite. Common Ethernet technologies, however, increases the vulnerability of the car infrastructure as they widen the attack surface for many components. In this paper proposes an IEEE 802.1Qci based algorithm that on the one hand, protects against DoS attacks by metering incoming Ethernet frames. On the other hand, it adapts to the behavior of the Credit Based Sha** algorithm, which was standardized for Audio/Video Bridging, the predecessor of Time-Sensitive Networking. A simulation of this proposed Credit Based Metering algorithm evaluates the concept. △ Less

Submitted 21 October, 2019; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: If you cite this paper, please use the original reference: P. Meyer, T. Häckel, F. Korf, and T. C. Schmidt. DoS Protection through Credit Based Metering - Simulation Based Evaluation for Time-Sensitive Networking in Cars. In: \emph{Proceedings of the 6th International OMNeT++ Community Summit}. September, 2019, Easychair

A simple decomposition of European temperature variability capturing the variance from days to a decade

Authors: Philipp G Meyer, Holger Kantz

Abstract: We analyze European temperature variability from station data with the method of detrended fluctuation analysis. This method is known to give a scaling exponent indicating long range correlations in time for temperature anomalies. However, by a more careful look at the fluctuation function we are able to explain the emergent scaling behaviour by short time relaxation, the yearly cycle and one addi… ▽ More We analyze European temperature variability from station data with the method of detrended fluctuation analysis. This method is known to give a scaling exponent indicating long range correlations in time for temperature anomalies. However, by a more careful look at the fluctuation function we are able to explain the emergent scaling behaviour by short time relaxation, the yearly cycle and one additional process. It turns out that for many stations this interannual variability is an oscillatory mode with a period length of approximately 7-8 years, which is consistent with results of other methods. We discuss the spatial patterns in all parameters and validate the finding of the 7-8 year period by comparing stations with and without this mode. △ Less

Submitted 6 August, 2019; originally announced August 2019.

Sensor Fusion for Joint 3D Object Detection and Semantic Segmentation

Authors: Gregory P. Meyer, Jake Charland, Darshan Hegde, Ankit Laddha, Carlos Vallespi-Gonzalez

Abstract: In this paper, we present an extension to LaserNet, an efficient and state-of-the-art LiDAR based 3D object detector. We propose a method for fusing image data with the LiDAR data and show that this sensor fusion method improves the detection performance of the model especially at long ranges. The addition of image data is straightforward and does not require image labels. Furthermore, we expand t… ▽ More In this paper, we present an extension to LaserNet, an efficient and state-of-the-art LiDAR based 3D object detector. We propose a method for fusing image data with the LiDAR data and show that this sensor fusion method improves the detection performance of the model especially at long ranges. The addition of image data is straightforward and does not require image labels. Furthermore, we expand the capabilities of the model to perform 3D semantic segmentation in addition to 3D object detection. On a large benchmark dataset, we demonstrate our approach achieves state-of-the-art performance on both object detection and semantic segmentation while maintaining a low runtime. △ Less

Submitted 25 April, 2019; originally announced April 2019.

Comments: Accepted for publication at CVPR Workshop on Autonomous Driving 2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Authors: Swen Jacobs, Roderick Bloem, Maximilien Colange, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Philipp J. Meyer, Thibaud Michaud, Mouhammad Sakr, Salomon Sickert, Leander Tentrup, Adam Walker

Abstract: We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the evaluation scheme and the experimental setup of SYNTCOMP 2018. We give an overview of the participants of SYNTCOMP 2018 and highlight changes compared to previous years. Finally, we present and analyze the results of o… ▽ More We report on the fifth reactive synthesis competition (SYNTCOMP 2018). We introduce four new benchmark classes that have been added to the SYNTCOMP library, and briefly describe the evaluation scheme and the experimental setup of SYNTCOMP 2018. We give an overview of the participants of SYNTCOMP 2018 and highlight changes compared to previous years. Finally, we present and analyze the results of our experimental evaluation, including a ranking of tools with respect to quantity and quality of solutions. △ Less

Submitted 15 April, 2019; originally announced April 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1711.11439, arXiv:1609.00507

Lightweight FEC: Rectangular Codes with Minimum Feedback Information

Authors: Binh-Minh Bui-Xuan, Pierre Meyer, Antoine Roux

Abstract: We propose a hybrid protocol combining a rectangular error-correcting code - paired with an error-detecting code - and a backward error correction in order to send packages of information over a noisy channel. We depict a linear-time algorithm the receiver can use to determine the minimum amount of information to be requested from the sender in order to repair all transmission errors. Repairs may… ▽ More We propose a hybrid protocol combining a rectangular error-correcting code - paired with an error-detecting code - and a backward error correction in order to send packages of information over a noisy channel. We depict a linear-time algorithm the receiver can use to determine the minimum amount of information to be requested from the sender in order to repair all transmission errors. Repairs may possibly occur over several cycles of emissions and requests. We show that the expected bandwidth use on the backward channel by our protocol is asymptotically small. In most configurations we give the explicit asymptotic expansion for said expectation. This is obtained by linking our problem to a well known algorithmic problem on a gadget graph, feedback edge set. The little use of the backward channel makes our protocol suitable where one could otherwise simply use backward error correction, e.g. TCP, but where overly using the backward channel is undesirable. We confront our protocol to numerical analysis versus TCP protocol. In most cases our protocol allows to reduce the number of iterations down to 60%, while requiring only negligibly more packages. △ Less

Submitted 3 April, 2019; originally announced April 2019.

Practical Synthesis of Reactive Systems from LTL Specifications via Parity Games

Authors: Michael Luttenberger, Philipp J. Meyer, Salomon Sickert

Abstract: The synthesis of reactive systems from linear temporal logic (LTL) specifications is an important aspect in the design of reliable software and hardware. We present our adaption of the classic automata-theoretic approach to LTL synthesis, implemented in the tool Strix which has won the two last synthesis competitions (Syntcomp2018/2019). The presented approach is (1) structured, meaning that the s… ▽ More The synthesis of reactive systems from linear temporal logic (LTL) specifications is an important aspect in the design of reliable software and hardware. We present our adaption of the classic automata-theoretic approach to LTL synthesis, implemented in the tool Strix which has won the two last synthesis competitions (Syntcomp2018/2019). The presented approach is (1) structured, meaning that the states used in the construction have a semantic structure that is exploited in several ways, it performs a (2) forward exploration such that it often constructs only a small subset of the reachable states, and it is (3) incremental in the sense that it reuses results from previous inconclusive solution attempts. Further, we present and study different guiding heuristics that determine where to expand the on-demand constructed arena. Moreover, we show several techniques for extracting an implementation (Mealy machine or circuit) from the witness of the tree-automaton emptiness check. Lastly, the chosen constructions use a symbolic representation of the transition functions to reduce runtime and memory consumption. We evaluate the proposed techniques on the Syntcomp2019 benchmark set and show in more detail how the proposed techniques compare to the techniques implemented in other leading LTL synthesis tools. △ Less

Submitted 30 October, 2019; v1 submitted 29 March, 2019; originally announced March 2019.

LaserNet: An Efficient Probabilistic 3D Object Detector for Autonomous Driving

Authors: Gregory P. Meyer, Ankit Laddha, Eric Kee, Carlos Vallespi-Gonzalez, Carl K. Wellington

Abstract: In this paper, we present LaserNet, a computationally efficient method for 3D object detection from LiDAR data for autonomous driving. The efficiency results from processing LiDAR data in the native range view of the sensor, where the input data is naturally compact. Operating in the range view involves well known challenges for learning, including occlusion and scale variation, but it also provid… ▽ More In this paper, we present LaserNet, a computationally efficient method for 3D object detection from LiDAR data for autonomous driving. The efficiency results from processing LiDAR data in the native range view of the sensor, where the input data is naturally compact. Operating in the range view involves well known challenges for learning, including occlusion and scale variation, but it also provides contextual information based on how the sensor data was captured. Our approach uses a fully convolutional network to predict a multimodal distribution over 3D boxes for each point and then it efficiently fuses these distributions to generate a prediction for each object. Experiments show that modeling each detection as a distribution rather than a single deterministic box leads to better overall detection performance. Benchmark results show that this approach has significantly lower runtime than other recent detectors and that it achieves state-of-the-art performance when compared on a large dataset that has enough data to overcome the challenges of training on the range view. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: Accepted for publication at CVPR 2019

Software-Defined Networks Supporting Time-Sensitive In-Vehicular Communication

Authors: Timo Häckel, Philipp Meyer, Franz Korf, Thomas C. Schmidt

Abstract: Future in-vehicular networks will be based on Ethernet. The IEEE Time-Sensitive Networking (TSN) is a promising candidate to satisfy real-time requirements in future car communication. Software-Defined Networking (SDN) extends the Ethernet control plane with a programming option that can add much value to the resilience, security, and adaptivity of the automotive environment. In this work, we deri… ▽ More Future in-vehicular networks will be based on Ethernet. The IEEE Time-Sensitive Networking (TSN) is a promising candidate to satisfy real-time requirements in future car communication. Software-Defined Networking (SDN) extends the Ethernet control plane with a programming option that can add much value to the resilience, security, and adaptivity of the automotive environment. In this work, we derive a first concept for combining Software-Defined Networking with Time-Sensitive Networking along with an initial evaluation. Our measurements are performed via a simulation that investigates whether an SDN architecture is suitable for time-critical applications in the car. Our findings indicate that the control overhead of SDN can be added without a delay penalty for the TSN traffic when protocols are mapped properly. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Comments: To be published at IEEE VTC2019-Spring

TIRA: Toolbox for Interval Reachability Analysis

Authors: Pierre-Jean Meyer, Alex Devonport, Murat Arcak

Abstract: This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather than the accuracy of the over-approximations. The current implementati… ▽ More This paper presents TIRA, a Matlab library gathering several methods for the computation of interval over-approximations of the reachable sets for both continuous- and discrete-time nonlinear systems. Unlike other existing tools, the main strength of interval-based reachability analysis is its simplicity and scalability, rather than the accuracy of the over-approximations. The current implementation of TIRA contains four reachability methods covering wide classes of nonlinear systems, handled with recent results relying on contraction/growth bounds and monotonicity concepts. TIRA's architecture features a central function working as a hub between the user-defined reachability problem and the library of available reachability methods. This design choice offers increased extensibility of the library, where users can define their own method in a separate function and add the function call in the hub function. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Uncertainty aware audiovisual activity recognition using deep Bayesian variational inference

Authors: Mahesh Subedar, Ranganath Krishnan, Paulo Lopez Meyer, Omesh Tickoo, Jonathan Huang

Abstract: Deep neural networks (DNNs) provide state-of-the-art results for a multitude of applications, but the approaches using DNNs for multimodal audiovisual applications do not consider predictive uncertainty associated with individual modalities. Bayesian deep learning methods provide principled confidence and quantify predictive uncertainty. Our contribution in this work is to propose an uncertainty a… ▽ More Deep neural networks (DNNs) provide state-of-the-art results for a multitude of applications, but the approaches using DNNs for multimodal audiovisual applications do not consider predictive uncertainty associated with individual modalities. Bayesian deep learning methods provide principled confidence and quantify predictive uncertainty. Our contribution in this work is to propose an uncertainty aware multimodal Bayesian fusion framework for activity recognition. We demonstrate a novel approach that combines deterministic and variational layers to scale Bayesian DNNs to deeper architectures. Our experiments using in- and out-of-distribution samples selected from a subset of Moments-in-Time (MiT) dataset show a more reliable confidence measure as compared to the non-Bayesian baseline and the Monte Carlo dropout (MC dropout) approximate Bayesian inference. We also demonstrate the uncertainty estimates obtained from the proposed framework can identify out-of-distribution data on the UCF101 and MiT datasets. In the multimodal setting, the proposed framework improved precision-recall AUC by 10.2% on the subset of MiT dataset as compared to non-Bayesian baseline. △ Less

Submitted 20 September, 2019; v1 submitted 26 November, 2018; originally announced November 2018.

Comments: Accepted at ICCV 2019 for Oral presentation

Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis

Authors: Octavio Narvaez-Aroche, Pierre-Jean Meyer, Stephen Tu, Andrew Packard, Murat Arcak

Abstract: The sit-to-stand movement is a key feature for wide adoption of powered lower limb orthoses for patients with complete paraplegia. In this paper we study the control of the ascending phase of the sit-to-stand movement for a minimally actuated powered lower limb orthosis at the hips. First, we generate a pool of finite horizon Linear Quadratic Regulator feedback gains, designed under the assumption… ▽ More The sit-to-stand movement is a key feature for wide adoption of powered lower limb orthoses for patients with complete paraplegia. In this paper we study the control of the ascending phase of the sit-to-stand movement for a minimally actuated powered lower limb orthosis at the hips. First, we generate a pool of finite horizon Linear Quadratic Regulator feedback gains, designed under the assumption that we can control not only the torque at the hips but also the loads at the shoulders that in reality are applied by the user. Next we conduct reachability analysis to define a performance metric measuring the robustness of each controller against parameter uncertainty, and choose the best controller from the pool with respect to this metric. Then, we replace the presumed shoulder control with an Iterative Learning Control algorithm as a substitute for human experiments. Indeed this algorithm obtains torque and forces at the shoulders that result in successful simulations of the sit-to-stand movement, regardless of parameter uncertainty and factors deliberately introduced to hinder learning. Thus it is reasonable to expect that the superior cognitive skills of real users will enable them to cooperate with the hip torque controller through training. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 19 pages, 14 figures

Computing the Expected Execution Time of Probabilistic Workflow Nets

Authors: Philipp J. Meyer, Javier Esparza, Philip Offtermatt

Abstract: Free-Choice Workflow Petri nets, also known as Workflow Graphs, are a popular model in Business Process Modeling. In this paper we introduce Timed Probabilistic Workflow Nets (TPWNs), and give them a Markov Decision Process (MDP) semantics. Since the time needed to execute two parallel tasks is the maximum of the times, and not their sum, the expected time cannot be directly computed using the t… ▽ More Free-Choice Workflow Petri nets, also known as Workflow Graphs, are a popular model in Business Process Modeling. In this paper we introduce Timed Probabilistic Workflow Nets (TPWNs), and give them a Markov Decision Process (MDP) semantics. Since the time needed to execute two parallel tasks is the maximum of the times, and not their sum, the expected time cannot be directly computed using the theory of MDPs with rewards. In our first contribution, we overcome this obstacle with the help of "earliest-first" schedulers, and give a single exponential-time algorithm for computing the expected time. In our second contribution, we show that computing the expected time is #P-hard, and so polynomial algorithms are very unlikely to exist. Further, #P-hardness holds even for workflows with a very simple structure in which all transitions times are 1 or 0, and all probabilities are 1 or 0.5. Our third and final contribution is an experimental investigation of the runtime of our algorithm on a set of industrial benchmarks. Despite the negative theoretical results, the results are very encouraging. In particular, the expected time of every workflow in a popular benchmark suite with 642 workflow nets can be computed in milliseconds. △ Less

Submitted 20 February, 2019; v1 submitted 16 November, 2018; originally announced November 2018.

Anomalous diffusion and the Moses effect in a model of aging

Authors: Philipp G. Meyer, Vidushi Adlakha, Holger Kantz, Kevin E. Bassler

Abstract: We decompose the anomalous diffusive behavior found in a model of aging into its fundamental constitutive causes. The model process is a sum of increments that are iterates of a chaotic dynamical system, the Pomeau-Manneville map. The increments can have long-time correlations, fat-tailed distributions and be non-stationary. Each of these properties can cause anomalous diffusion through what is kn… ▽ More We decompose the anomalous diffusive behavior found in a model of aging into its fundamental constitutive causes. The model process is a sum of increments that are iterates of a chaotic dynamical system, the Pomeau-Manneville map. The increments can have long-time correlations, fat-tailed distributions and be non-stationary. Each of these properties can cause anomalous diffusion through what is known as the Joseph, Noah and Moses effects, respectively. The model can have either sub- or super-diffusive behavior, which we find is generally due to a combination of the three effects. Scaling exponents quantifying each of the three constitutive effects are calculated using analytic methods and confirmed with numerical simulations. They are then related to the scaling of the distribution of the process through a scaling relation. Finally, the importance of the Moses effect in the anomalous diffusion of experimental systems is discussed. △ Less

Submitted 7 November, 2018; v1 submitted 24 August, 2018; originally announced August 2018.

Comments: This is an author-created, un-copyedited version of an article accepted for publication in the New Journal of Physics. IOP Publishing Ltd is not responsible for any errors or omissions in this version of the manuscript or any version derived from it. The Version of Record is available online at https://doi.org/10.1088/1367-2630/aaeea2

An overview of process model quality literature - The Comprehensive Process Model Quality Framework

Authors: Philipe De Meyer, Jan Claes

Abstract: The rising interest in the construction and the quality of (business) process models resulted in an abundancy of emerged research studies and different findings about process model quality. The lack of overview and the lack of consensus hinder the development of the research field. The research objective is to collect, analyse, structure, and integrate the existing knowledge in a comprehensive fra… ▽ More The rising interest in the construction and the quality of (business) process models resulted in an abundancy of emerged research studies and different findings about process model quality. The lack of overview and the lack of consensus hinder the development of the research field. The research objective is to collect, analyse, structure, and integrate the existing knowledge in a comprehensive framework that strives to find a balance between completeness and relevance without hindering the overview. The Systematic Literature Review methodology was applied to collect the relevant studies. Because several studies exist that each partially addresses this research objective, the review was performed at a tertiary level. Based on a critical analysis of the collected papers, a comprehensive, but structured overview of the state of the art in the field was composed. The existing academic knowledge about process model quality was carefully integrated and structured into the Comprehensive Process Model Quality Framework (CPMQF). The framework summarizes 39 quality dimensions, 21 quality metrics, 28 quality (sub)drivers, 44 (sub)driver metrics, 64 realization initiatives and 15 concrete process model purposes related to 4 types of organizational benefits, as well as the relations between all of these. This overview is thus considered to form a valuable instrument for both researchers and practitioners that are concerned about process model quality. The framework is the first to address the concept of process model quality in such a comprehensive way. △ Less

Submitted 30 August, 2018; v1 submitted 23 August, 2018; originally announced August 2018.

Comments: Download the poster at http://www.janclaes.info/CPMQF

Simulation of Mixed Critical In-vehicular Networks

Authors: Philipp Meyer, Franz Korf, Till Steinbach, Thomas C. Schmidt

Abstract: Future automotive applications ranging from advanced driver assistance to autonomous driving will largely increase demands on in-vehicular networks. Data flows of high bandwidth or low latency requirements, but in particular many additional communication relations will introduce a new level of complexity to the in-car communication system. It is expected that future communication backbones which i… ▽ More Future automotive applications ranging from advanced driver assistance to autonomous driving will largely increase demands on in-vehicular networks. Data flows of high bandwidth or low latency requirements, but in particular many additional communication relations will introduce a new level of complexity to the in-car communication system. It is expected that future communication backbones which interconnect sensors and actuators with ECU in cars will be built on Ethernet technologies. However, signalling from different application domains demands for network services of tailored attributes, including real-time transmission protocols as defined in the TSN Ethernet extensions. These QoS constraints will increase network complexity even further. Event-based simulation is a key technology to master the challenges of an in-car network design. This chapter introduces the domain-specific aspects and simulation models for in-vehicular networks and presents an overview of the car-centric network design process. Starting from a domain specific description language, we cover the corresponding simulation models with their workflows and apply our approach to a related case study for an in-car network of a premium car. △ Less

Submitted 9 August, 2018; originally announced August 2018.

Characterization of a depleted monolithic pixel sensors in 150 nm CMOS technology for the ATLAS Inner Tracker upgrade

Authors: F. J. Iguaz, F. Balli, M. Barbero, S. Bhat, P. Breugnon, I. Caicedo, Z. Chen, Y. Degerli, S. Godiot, F. Guilloux, C. Guyot, T. Hemperek, T. Hirono, H. Krüger, J. P. Meyer, A. Ouraou, P. Pangaud, P. Rymaszewski, P. Schwemling, M. Vandenbroucke, T. Wang, N. Wermes

Abstract: This work presents a depleted monolithic active pixel sensor (DMAPS) prototype manufactured in the LFoundry 150\,nm CMOS process. DMAPS exploit high voltage and/or high resistivity inclusion of modern CMOS technologies to achieve substantial depletion in the sensing volume. The described device, named LF-Monopix, was designed as a proof of concept of a fully monolithic sensor capable of operating… ▽ More This work presents a depleted monolithic active pixel sensor (DMAPS) prototype manufactured in the LFoundry 150\,nm CMOS process. DMAPS exploit high voltage and/or high resistivity inclusion of modern CMOS technologies to achieve substantial depletion in the sensing volume. The described device, named LF-Monopix, was designed as a proof of concept of a fully monolithic sensor capable of operating in the environment of outer layers of the ATLAS Inner Tracker upgrade in 2025 for the High Luminosity Large Hadron Collider (HL-LHC). This type of devices has a lower production cost and lower material budget compared to presently used hybrid designs. In this work, the chip architecture will be described followed by the characterization of the different pre-amplifier and discriminator flavors with an external injection signal and an iron source (5.9\,keV x-rays). △ Less

Submitted 12 June, 2018; originally announced June 2018.

Comments: 2 pages, 3 figures, proceedings of the 14th Pisa Meeting on Advanced Detectors (PM2018), submitted to Nucl. Instr. Meth. A

Reachability Analysis for Robustness Evaluation of the Sit-To-Stand Movement for Powered Lower Limb Orthoses

Authors: Octavio Narvaez-Aroche, Pierre-Jean Meyer, Murat Arcak, Andrew Packard

Abstract: A sensitivity-based approach for computing over-approximations of reachable sets, in the presence of constant parameter uncertainties and a single initial state, is used to analyze a three-link planar robot modeling a Powered Lower Limb Orthosis and its user. Given the nature of the map**s relating the state and parameters of the system with the inputs, and outputs describing the trajectories of… ▽ More A sensitivity-based approach for computing over-approximations of reachable sets, in the presence of constant parameter uncertainties and a single initial state, is used to analyze a three-link planar robot modeling a Powered Lower Limb Orthosis and its user. Given the nature of the map**s relating the state and parameters of the system with the inputs, and outputs describing the trajectories of its Center of Mass, reachable sets for their respective spaces can be obtained relying on the sensitivities of the nonlinear closed-loop dynamics in the state space. These over-approximations are used to evaluate the worst-case performances of a finite time horizon linear-quadratic regulator (LQR) for controlling the ascending phase of the Sit-To-Stand movement. △ Less

Submitted 28 May, 2018; originally announced May 2018.

Comments: 14 pages, 19 figures, DSCC 2018 Submission

Sampled-data reachability analysis using sensitivity and mixed-monotonicity

Authors: Pierre-Jean Meyer, Samuel Coogan, Murat Arcak

Abstract: This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain parameters. We first prove the equivalence between an existing over-approximation result based on the sign-stability of the sensitivity matrices and a discrete-time approach relying on a mixed-monotonicity property. We then… ▽ More This paper over-approximates the reachable sets of a continuous-time uncertain system using the sensitivity of its trajectories with respect to initial conditions and uncertain parameters. We first prove the equivalence between an existing over-approximation result based on the sign-stability of the sensitivity matrices and a discrete-time approach relying on a mixed-monotonicity property. We then present a new over-approximation result which scales at worst linearly with the state dimension and is applicable to any continuous-time system with bounded sensitivity. Finally, we provide a simulation-based approach to estimate these bounds through sampling and falsification. The results are illustrated with numerical examples on traffic networks and satellite orbits. △ Less

Submitted 13 June, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

Journal ref: IEEE Control Systems Letters, Volume 2, Issue 4, Pages 761-766, 2018

Computing the concurrency threshold of sound free-choice workflow nets

Authors: Philipp J. Meyer, Javier Esparza, Hagen Völzer

Abstract: Workflow graphs extend classical flow charts with concurrent fork and join nodes. They constitute the core of business processing languages such as BPMN or UML Activity Diagrams. The activities of a workflow graph are executed by humans or machines, generically called resources. If concurrent activities cannot be executed in parallel by lack of resources, the time needed to execute the workflow in… ▽ More Workflow graphs extend classical flow charts with concurrent fork and join nodes. They constitute the core of business processing languages such as BPMN or UML Activity Diagrams. The activities of a workflow graph are executed by humans or machines, generically called resources. If concurrent activities cannot be executed in parallel by lack of resources, the time needed to execute the workflow increases. We study the problem of computing the minimal number of resources necessary to fully exploit the concurrency of a given workflow, and execute it as fast as possible (i.e., as fast as with unlimited resources). We model this problem using free-choice Petri nets, which are known to be equivalent to workflow graphs. We analyze the computational complexity of two versions of the problem: computing the resource and concurrency thresholds. We use the results to design an algorithm to approximate the concurrency threshold, and evaluate it on a benchmark suite of 642 industrial examples. We show that it performs very well in practice: It always provides the exact value, and never takes more than 30 milliseconds for any workflow, even for those with a huge number of reachable markings. △ Less

Submitted 22 February, 2018; originally announced February 2018.

Hierarchical decomposition of LTL synthesis problem for nonlinear control systems

Authors: Pierre-Jean Meyer, Dimos V. Dimarogonas

Abstract: This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hierarchical decomposition of the control problem involving three abstraction layers of the problem, iteratively solved from the coarsest to the finest. The LTL planning is first solved on a small transition system only des… ▽ More This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula. The proposed solution is a top-down hierarchical decomposition of the control problem involving three abstraction layers of the problem, iteratively solved from the coarsest to the finest. The LTL planning is first solved on a small transition system only describing the regions of interest involved in the LTL formula. For each pair of consecutive regions of interest in the resulting accepting path satisfying the LTL formula, a discrete plan is then constructed in the partitioned workspace to connect these two regions while avoiding unsafe regions. Finally, an abstraction refinement approach is applied to synthesize a controller for the dynamical system to follow each discrete plan. The second main contribution, used in the third abstraction layer, is a new monotonicity-based method to over-approximate the finite-time reachable set of any continuously differentiable system. The proposed framework is demonstrated in simulation for a motion planning problem of a mobile robot modeled as a disturbed unicycle. △ Less

Submitted 5 March, 2019; v1 submitted 16 December, 2017; originally announced December 2017.

Journal ref: IEEE Transactions on Automatic Control, Volume 74, Issue 11, Pages 4676-4683, 2019

Compositional abstraction refinement for control synthesis

Authors: Pierre-Jean Meyer, Dimos V. Dimarogonas

Abstract: This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. Given an initial coarse partition of the state space, the control specification is given as a sequence of the cells of this partition to visit at each sampling time. The dynamics are decomposed into… ▽ More This paper presents a compositional approach to specification-guided abstraction refinement for control synthesis of a nonlinear system associated with a method to over-approximate its reachable sets. Given an initial coarse partition of the state space, the control specification is given as a sequence of the cells of this partition to visit at each sampling time. The dynamics are decomposed into subsystems where some states and inputs are not observed, some states are observed but not controlled and where assume-guarantee obligations are used on the uncontrolled states of each subsystem. A finite abstraction is created for each subsystem through a refinement procedure starting from a coarse partition of the state space, then proceeding backwards on the specification sequence to iteratively split the elements of the partition whose coarseness prevents the satisfaction of the specification. Each refined abstraction is associated with a controller and it is proved that combining these local controllers can enforce the specification on the original system. The efficiency of the proposed approach compared to other abstraction methods is illustrated in a numerical example. △ Less

Submitted 16 December, 2017; originally announced December 2017.

Journal ref: Nonlinear Analysis: Hybrid Systems, Volume 27, 2018, Pages 437-451

Quantitative Implementation Strategies for Safety Controllers

Authors: Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani

Abstract: We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies t… ▽ More We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several control values might be applicable to enforce the safety requirement and in the implementation one has the burden of picking a particular control value out of possibly many. We present a class of implementation strategies to obtain a controller with certain performance guarantees. This class includes two existing implementation strategies from the literature, based on discounted payoff and mean-payoff games. We unify both approaches by using games characterized by a single discount factor determining the implementation. We evaluate different implementations from our class experimentally on two case studies. We show that the choice of the discount factor has a significant influence on the average long-term costs, and the best performance guarantee for the symbolic model does not result in the best implementation. Comparing the optimal choice of the discount factor here with the previously proposed values, the costs differ by a factor of up to 50. Our approach therefore yields a method to choose systematically a good implementation for safety controllers with quantitative objectives. △ Less

Submitted 14 December, 2017; originally announced December 2017.

Descent Representations of Generalized Coinvariant Algebras

Authors: Kyle P. Meyer

Abstract: The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave a description of the Frobenius image of $R_n$, graded by partitions, in terms of descents of standard Young tableaux. Motivated by the Delta Conj… ▽ More The coinvariant algebra $R_n$ is a well-studied $\mathfrak{S}_n$-module that is a graded version of the regular representation of $\mathfrak{S}_n$. Using a straightening algorithm on monomials and the Garsia-Stanton basis, Adin, Brenti, and Roichman gave a description of the Frobenius image of $R_n$, graded by partitions, in terms of descents of standard Young tableaux. Motivated by the Delta Conjecture of Macdonald polynomials, Haglund, Rhoades, and Shimozono gave an extension of the coinvariant algebra $R_{n,k}$ and an extension of the Garsia-Stanton basis. Chan and Rhoades further extend these results from $\mathfrak{S}_n$ to the complex reflection group $G(r,1,n)$ by defining a $G(r,1,n)$ module $S_{n,k}$ that generalizes the coinvariant algebra for $G(r,1,n)$. We extend the results of Adin, Brenti, and Roichman to $R_{n,k}$ and $S_{n,k}$. △ Less

Submitted 22 February, 2018; v1 submitted 30 November, 2017; originally announced November 2017.

Comments: 25 pages

MSC Class: 05E10 (Primary) 05E05; 20C30; 05E15 (Secondary)

Classification of finite-dimensional Lie superalgebras whose even part is a three-dimensional simple Lie algebra over a field of characteristic not two or three

Authors: Philippe Meyer

Abstract: Let $k$ be a field of characteristic not two or three. We classify up to isomorphism all finite-dimensional Lie superalgebras $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ over $k$, where $\mathfrak{g}_0$ is a three-dimensional simple Lie algebra. If $\mathcal{Z}(\mathfrak{g})$ denotes the centre of $\mathfrak{g}$, the result is the following: either… ▽ More Let $k$ be a field of characteristic not two or three. We classify up to isomorphism all finite-dimensional Lie superalgebras $\mathfrak{g}=\mathfrak{g}_0\oplus \mathfrak{g}_1$ over $k$, where $\mathfrak{g}_0$ is a three-dimensional simple Lie algebra. If $\mathcal{Z}(\mathfrak{g})$ denotes the centre of $\mathfrak{g}$, the result is the following: either $\lbrace \mathfrak{g}_1,\mathfrak{g}_1 \rbrace=\lbrace 0 \rbrace$ or $\mathfrak{g}_1=(\mathfrak{g}_0 \oplus k)\oplus \mathcal{Z}(\mathfrak{g})$ or $\mathfrak{g}\cong \mathfrak{osp}_k(1|2)\oplus \mathcal{Z}(\mathfrak{g})$. △ Less

Submitted 18 December, 2019; v1 submitted 9 September, 2017; originally announced September 2017.

Journal ref: Communications in Algebra (2019), 47:11, 4654-4675

Scale invariant Green-Kubo relation for time averaged diffusivity

Authors: Philipp Meyer, Eli Barkai, Holger Kantz

Abstract: In recent years it was shown both theoretically and experimentally that in certain systems exhibiting anomalous diffusion the time and ensemble average mean squared displacement are remarkably different. The ensemble average diffusivity is obtained from a scaling Green-Kubo relation, which connects the scale invariant non-stationary velocity correlation function with the transport coefficient. Her… ▽ More In recent years it was shown both theoretically and experimentally that in certain systems exhibiting anomalous diffusion the time and ensemble average mean squared displacement are remarkably different. The ensemble average diffusivity is obtained from a scaling Green-Kubo relation, which connects the scale invariant non-stationary velocity correlation function with the transport coefficient. Here we obtain the relation between time averaged diffusivity, usually recorded in single particle tracking experiments, and the underlying scale invariant velocity correlation function. The time averaged mean squared displacement is given by $\overline{δ^2} \sim 2 D_νt^βΔ^{ν-β}$ where $t$ is the total measurement time and $Δ$ the lag time. Here $ν>1$ is the anomalous diffusion exponent obtained from ensemble averaged measurements $\langle x^2 \rangle \sim t^ν$ while $β\ge -1$ marks the growth or decline of the kinetic energy $\langle v^2 \rangle \sim t^β$. Thus we establish a connection between exponents which can be read off the asymptotic properties of the velocity correlation function and similarly for the transport constant $D_ν$. We demonstrate our results with non-stationary scale invariant stochastic and deterministic models, thereby highlighting that systems with equivalent behavior in the ensemble average can differ strongly in their time average. This is the case, for example, if averaged kinetic energy is finite, i.e. $β=0$, where $\langle \overline{δ^2}\rangle \neq \langle x^2\rangle$. △ Less

Submitted 31 August, 2017; originally announced August 2017.

Journal ref: Phys. Rev. E 96, 062122 (2017)

Compositional abstraction and safety synthesis using overlap** symbolic models

Authors: Pierre-Jean Meyer, Antoine Girard, Emmanuel Witrant

Abstract: In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlap** in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such over… ▽ More In this paper, we develop a compositional approach to abstraction and safety synthesis for a general class of discrete time nonlinear systems. Our approach makes it possible to define a symbolic abstraction by composing a set of symbolic subsystems that are overlap** in the sense that they can share some common state variables. We develop compositional safety synthesis techniques using such overlap** symbolic subsystems. Comparisons, in terms of conservativeness and of computational complexity, between abstractions and controllers obtained from different system decompositions are provided. Numerical experiments show that the proposed approach for symbolic control synthesis enables a significant complexity reduction with respect to the centralized approach, while reducing the conservatism with respect to compositional approaches using non-overlap** subsystems. △ Less

Submitted 19 July, 2017; v1 submitted 24 April, 2017; originally announced April 2017.

Journal ref: IEEE Transactions on Automatic Control, Volume 63, Issue 6, Pages 1835-1841, 2018

Towards Efficient Verification of Population Protocols

Authors: Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer

Abstract: Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central verification question for population protocols is the well-specification problem: deciding if a given protocol is well-specified. Esparza et al. have recently shown t… ▽ More Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central verification question for population protocols is the well-specification problem: deciding if a given protocol is well-specified. Esparza et al. have recently shown that this problem is decidable, but with very high complexity: it is at least as hard as the Petri net reachability problem, which is EXPSPACE-hard, and for which only algorithms of non-primitive recursive complexity are currently known. In this paper we introduce the class WS3 of well-specified strongly-silent protocols and we prove that it is suitable for automatic verification. More precisely, we show that WS3 has the same computational power as general well-specified protocols, and captures standard protocols from the literature. Moreover, we show that the membership problem for WS3 reduces to solving boolean combinations of linear constraints over N. This allowed us to develop the first software able to automatically prove well-specification for all of the infinitely many possible inputs. △ Less

Submitted 30 July, 2018; v1 submitted 13 March, 2017; originally announced March 2017.

Comments: 29 pages, 1 figure

Algebras, Synchronous Games and Chromatic Numbers of Graphs

Authors: William Helton, Kyle P. Meyer, Vern I. Paulsen, Matthew Satriano

Abstract: We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows… ▽ More We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows us to develop a correspondence between various chromatic numbers of a graph and ideals in this algebra which can then be approached via various Grobner basis methods. △ Less

Submitted 2 March, 2017; originally announced March 2017.

Comments: 36 pages, some proofs are machine-assisted, details of programs available on third authors webpage

Extending OMNeT++ Towards a Platform for the Design of Future In-Vehicle Network Architectures

Authors: Till Steinbach, Philipp Meyer, Stefan Buschmann, Franz Korf

Abstract: In-vehicle communication technologies are evolving. While today's cars are equipped with fieldbusses to interconnect the various electronic control units, next generation vehicles have timing and bandwidth requirements that exceed the capacities. In particular Advanced Driver Assistance Systems (ADAS) and automated driving using high bandwidth sensors such as cameras, LIDAR or radar will challenge… ▽ More In-vehicle communication technologies are evolving. While today's cars are equipped with fieldbusses to interconnect the various electronic control units, next generation vehicles have timing and bandwidth requirements that exceed the capacities. In particular Advanced Driver Assistance Systems (ADAS) and automated driving using high bandwidth sensors such as cameras, LIDAR or radar will challenge the in-car network. Automotive Ethernet is the most promising candidate to solve the upcoming challenges. But to design and evaluate new protocols, concepts, and architectures suitable analysis tools are required. Especially in the interim period with architectures using automotive Ethernet and legacy fieldbusses together, careful planning and design is of vital importance. Simulation can provide a good understanding of the expectable network metrics in an early development phase. This paper contributes a workflow as well as the required toolchain to evaluate new real-time Ethernet communication architectures using event based simulation in OMNeT++. We introduce a domain specific language (DSL) - the Abstract Network Description Language (ANDL) - to describe and configure the simulation and present the required simulation models for real-time Ethernet and fieldbus technologies such as CAN and FlexRay. We further introduce new analysis tools for special in-vehicle network use-cases and the interaction of the simulation with third-party applications established in the automotive domain. △ Less

Submitted 16 September, 2016; originally announced September 2016.

Comments: Published in: A. Foerster, V. Vesely, A. Virdis, M. Kirsche (Eds.), Proc. of the 3rd OMNeT++ Community Summit, Brno University of Technology - Czech Republic - September 15-16, 2016

Report number: OMNET/2016/08

An analysis of nonadiabatic ring-polymer molecular dynamics and its application to vibronic spectra

Authors: Jeremy O. Richardson, Philipp Meyer, Marc-Oliver Pleinert, Michael Thoss

Abstract: Nonadiabatic ring-polymer molecular dynamics employs the map** approach to describe nonadiabatic effects within the ring-polymer ansatz. In this paper, it is generalized to allow for the nuclear and electronic degrees of freedom to be described by different numbers of ring-polymer beads. Analysis of the resulting method shows that as the number of electronic map** variables increases, certain… ▽ More Nonadiabatic ring-polymer molecular dynamics employs the map** approach to describe nonadiabatic effects within the ring-polymer ansatz. In this paper, it is generalized to allow for the nuclear and electronic degrees of freedom to be described by different numbers of ring-polymer beads. Analysis of the resulting method shows that as the number of electronic map** variables increases, certain problems associated with the approach are removed, such as the non-unique choice of the map** Hamiltonian and negative populations leading to inverted potential-energy surfaces. Explicit integration over cyclic variables reduces the sign problem for the initial distribution in the general case. A new application for the simulation of vibronic spectra is described and promising results are presented for a model system. △ Less

Submitted 2 September, 2016; originally announced September 2016.

Comments: 28 pages, 4 figures; submitted to Chem. Phys

Journal ref: Chem. Phys. 482, 124 (2017)

The statistical trade-off between word order and word structure - large-scale evidence for the principle of least effort

Authors: Alexander Koplenig, Peter Meyer, Sascha Wolfer, Carolin Mueller-Spitzer

Abstract: Languages employ different strategies to transmit structural and grammatical information. While, for example, grammatical dependency relationships in sentences are mainly conveyed by the ordering of the words for languages like Mandarin Chinese, or Vietnamese, the word ordering is much less restricted for languages such as Inupiatun or Quechua, as those languages (also) use the internal structure… ▽ More Languages employ different strategies to transmit structural and grammatical information. While, for example, grammatical dependency relationships in sentences are mainly conveyed by the ordering of the words for languages like Mandarin Chinese, or Vietnamese, the word ordering is much less restricted for languages such as Inupiatun or Quechua, as those languages (also) use the internal structure of words (e.g. inflectional morphology) to mark grammatical relationships in a sentence. Based on a quantitative analysis of more than 1,500 unique translations of different books of the Bible in more than 1,100 different languages that are spoken as a native language by approximately 6 billion people (more than 80% of the world population), we present large-scale evidence for a statistical trade-off between the amount of information conveyed by the ordering of words and the amount of information conveyed by internal word structure: languages that rely more strongly on word order information tend to rely less on word structure information and vice versa. In addition, we find that - despite differences in the way information is expressed - there is also evidence for a trade-off between different books of the biblical canon that recurs with little variation across languages: the more informative the word order of the book, the less informative its word structure and vice versa. We argue that this might suggest that, on the one hand, languages encode information in very different (but efficient) ways. On the other hand, content-related and stylistic features are statistically encoded in very similar ways. △ Less

Submitted 25 August, 2016; v1 submitted 11 August, 2016; originally announced August 2016.

Reducing overfitting in challenge-based competitions

Authors: Elias Chaibub Neto, Bruce R Hoff, Chris Bare, Brian M Bot, Thomas Yu, Lara Magravite, Andrew D Trister, Thea Norman, Pablo Meyer, Julio Saez-Rodrigues, James C Costello, Justin Guinney, Gustavo Stolovitzky

Abstract: Over-fitting is a dreaded foe in challenge-based competitions. Because participants rely on public leaderboards to evaluate and refine their models, there is always the danger they might over-fit to the holdout data supporting the leaderboard. The recently published Ladder algorithm aims to address this problem by preventing the participants from exploiting willingly or inadvertently minor fluctua… ▽ More Over-fitting is a dreaded foe in challenge-based competitions. Because participants rely on public leaderboards to evaluate and refine their models, there is always the danger they might over-fit to the holdout data supporting the leaderboard. The recently published Ladder algorithm aims to address this problem by preventing the participants from exploiting willingly or inadvertently minor fluctuations in public leaderboard scores during model refinement. In this paper, we report a vulnerability of the Ladder that induces severe over-fitting of the leaderboard when the sample size is small. To circumvent this attack, we propose a variation of the Ladder that releases a bootstrapped estimate of the public leaderboard score instead of providing participants with a direct measure of performance. We also extend the scope of the Ladder to arbitrary performance metrics by relying on a more broadly applicable testing procedure based on the Bayesian bootstrap. Our method makes it possible to use a leaderboard, with the technical and social advantages that it provides, even in cases where data is scant. △ Less

Submitted 30 June, 2016; originally announced July 2016.

Efficient combination of pairswise feature networks

Authors: Pau Bellot, Patrick E. Meyer

Abstract: This paper presents a novel method for the reconstruction of a neural network connectivity using calcium fluorescence data. We introduce a fast unsupervised method to integrate different networks that reconstructs structural connectivity from neuron activity. Our method improves the state-of-the-art reconstruction method General Transfer Entropy (GTE). We are able to better eliminate indirect link… ▽ More This paper presents a novel method for the reconstruction of a neural network connectivity using calcium fluorescence data. We introduce a fast unsupervised method to integrate different networks that reconstructs structural connectivity from neuron activity. Our method improves the state-of-the-art reconstruction method General Transfer Entropy (GTE). We are able to better eliminate indirect links, improving therefore the quality of the network via a normalization and ensemble process of GTE and three new informative features. The approach is based on a simple combination of networks, which is remarkably fast. The performance of our approach is benchmarked on simulated time series provided at the connectomics challenge and also submitted at the public competition. △ Less

Submitted 30 May, 2015; originally announced June 2015.

Comments: JMLR: Workshop and Conference Proceedings, 2014 Connectomics (ECML 2014)

Infinite probability computation by cyclic explanation graphs

Authors: Taisuke Sato, Philipp Meyer

Abstract: Tabling in logic programming has been used to eliminate redundant computation and also to stop infinite loop. In this paper we investigate another possibility of tabling, i.e. to compute an infinite sum of probabilities for probabilistic logic programs. Using PRISM, a logic-based probabilistic modeling language with a tabling mechanism, we generalize prefix probability computation for probabilisti… ▽ More Tabling in logic programming has been used to eliminate redundant computation and also to stop infinite loop. In this paper we investigate another possibility of tabling, i.e. to compute an infinite sum of probabilities for probabilistic logic programs. Using PRISM, a logic-based probabilistic modeling language with a tabling mechanism, we generalize prefix probability computation for probabilistic context free grammars (PCFGs) to probabilistic logic programs. Given a top-goal, we search for all proofs with tabling and obtain an explanation graph which compresses them and may be cyclic. We then convert the explanation graph to a set of linear probability equations and solve them by matrix operation. The solution gives us the probability of the top-goal, which, in nature, is an infinite sum of probabilities. Our general approach to prefix probability computation through tabling not only allows to deal with non-PCFGs such as probabilistic left-corner grammars (PLCGs) but has applications such as plan recognition and probabilistic model checking and makes it possible to compute probability for probabilistic models describing cyclic relations. To appear in Theory and Practice of Logic Programming (TPLP). △ Less

Submitted 17 September, 2013; v1 submitted 2 September, 2013; originally announced September 2013.

Comments: 29 pages

Journal ref: Theory and Practice of Logic Programming 14 (2014) 909-937

Evolution of the 1919 Ejecta of V605 Aquilae

Authors: Geoffrey C. Clayton, Howard E. Bond, Lindsey A. Long, Paul I. Meyer, Ben E. K. Sugerman, Edward Montiel, William B. Sparks, M. G. Meakes, O. Chesneau, O. De Marco

Abstract: New imaging of V605 Aql, was obtained in 2009 with HST/WFPC2, which had a nova-like outburst in 1919, and is located at the center of the planetary nebula (PN), Abell 58. This event has long been ascribed to a final helium shell flash, but it has been suggested recently that it may instead have been an ONe nova. The new images provide an 18 year baseline for the expansion of the ejecta from the 19… ▽ More New imaging of V605 Aql, was obtained in 2009 with HST/WFPC2, which had a nova-like outburst in 1919, and is located at the center of the planetary nebula (PN), Abell 58. This event has long been ascribed to a final helium shell flash, but it has been suggested recently that it may instead have been an ONe nova. The new images provide an 18 year baseline for the expansion of the ejecta from the 1919 event. In addition, the central star has been directly detected in the visible for the first time since 1923, when it faded from sight due to obscuration by dust. The expansion of the ejecta has a velocity of ~200 km/s, and an angular expansion rate of ~10 mas/yr, consistent with a 1919 ejection. This implies a geometric distance of 4.6 kpc for V605 Aql, consistent with previous estimates. The gas mass in the central knot of ejecta was previously estimated to be 5 x 10^-5 M(Sun). It is estimated that warm dust associated with this gas has a mass of ~10^-5 M(Sun). There is also evidence for a significant amount, 10^-3 M(Sun), of cold (75 K) dust, which may be associated with its PN. The knot ejected in 1919 is asymmetrical and is approximately aligned with the asymmetry of the surrounding PN. Polarimetric imaging was obtained to investigate whether the 2001 spectrum of V605 Aql was obtained primarily in scattered light from dust in the central knot, but the signal-to-noise in the data was insufficient to measure the level of polarization. △ Less

Submitted 28 May, 2013; originally announced May 2013.

Comments: ApJ in press, 10 pages, 8 figures

A Rank Minrelation - Majrelation Coefficient

Authors: Patrick E. Meyer

Abstract: Improving the detection of relevant variables using a new bivariate measure could importantly impact variable selection and large network inference methods. In this paper, we propose a new statistical coefficient that we call the rank minrelation coefficient. We define a minrelation of X to Y (or equivalently a majrelation of Y to X) as a measure that estimate p(Y > X) when X and Y are continuous… ▽ More Improving the detection of relevant variables using a new bivariate measure could importantly impact variable selection and large network inference methods. In this paper, we propose a new statistical coefficient that we call the rank minrelation coefficient. We define a minrelation of X to Y (or equivalently a majrelation of Y to X) as a measure that estimate p(Y > X) when X and Y are continuous random variables. The approach is similar to Lin's concordance coefficient that rather focuses on estimating p(X = Y). In other words, if a variable X exhibits a minrelation to Y then, as X increases, Y is likely to increases too. However, on the contrary to concordance or correlation, the minrelation is not symmetric. More explicitly, if X decreases, little can be said on Y values (except that the uncertainty on Y actually increases). In this paper, we formally define this new kind of bivariate dependencies and propose a new statistical coefficient in order to detect those dependencies. We show through several key examples that this new coefficient has many interesting properties in order to select relevant variables, in particular when compared to correlation. △ Less

Submitted 9 May, 2013; originally announced May 2013.

Response Uniformity of the ATLAS Liquid Argon Electromagnetic Calorimeter

Authors: M. Aharrouche, J. Colas, L. Di Ciaccio, M. El Kacimi, O. Gaumer, M. Gouanere, D. Goujdami, R. Lafaye, S. Laplace, C. Le Maner, L. Neukermans, P. Perrodo, L. Poggioli, D. Prieur, H. Przysiezniak, G. Sauvage, I. Wingerter-Seez, R. Zitoun, F. Lanni, L. Lu, H. Ma, S. Rajago palan, H. Takai, A. Belymam, D. Benchekroun , et al. (77 additional authors not shown)

Abstract: The construction of the ATLAS electromagnetic liquid argon calorimeter modules is completed and all the modules are assembled and inserted in the cryostats. During the production period four barrel and three endcap modules were exposed to test beams in order to assess their performance, ascertain the production quality and reproducibility, and to scrutinize the complete energy reconstruction cha… ▽ More The construction of the ATLAS electromagnetic liquid argon calorimeter modules is completed and all the modules are assembled and inserted in the cryostats. During the production period four barrel and three endcap modules were exposed to test beams in order to assess their performance, ascertain the production quality and reproducibility, and to scrutinize the complete energy reconstruction chain from the readout and calibration electronics to the signal and energy reconstruction. It was also possible to check the full Monte Carlo simulation of the calorimeter. The analysis of the uniformity, resolution and extraction of constant term is presented. Typical non-uniformities of 0.5% and typical global constant terms of 0.6% are measured for the barrel and end-cap modules. △ Less

Submitted 7 September, 2007; originally announced September 2007.

Comments: Accepted by NIM A

Journal ref: Nucl.Instrum.Meth.A582:429-455,2007

Cu-TBPP and PTCDA molecules on insulating surfaces studied by ultra-high-vacuum non-contact AFM

Authors: Laurent Nony, Roland Prof. Bennewitz, Oliver Dr. Pfeiffer, Enrico Dr. Gnecco, Alexis Prof. Baratoff, Ernst Prof. Meyer, Toyoaki Eguchi, André Gourdon, Chrisitan Joachim

Abstract: The adsorption of two kinds of porphyrin (Cu-TBPP) and perylene (PTCDA) derived organic molecules deposited on KBr and Al2O3 surfaces has been studied by non-contact force microscopy in ultra-high vacuum, our goal being the assembly of ordered molecular arrangements on insulating surfaces at room temperature. On a Cu(100) surface, well ordered islands of Cu-TBPP molecules were successfully image… ▽ More The adsorption of two kinds of porphyrin (Cu-TBPP) and perylene (PTCDA) derived organic molecules deposited on KBr and Al2O3 surfaces has been studied by non-contact force microscopy in ultra-high vacuum, our goal being the assembly of ordered molecular arrangements on insulating surfaces at room temperature. On a Cu(100) surface, well ordered islands of Cu-TBPP molecules were successfully imaged. On KBr and Al2O3 surfaces, it was found that the same molecules aggregate in small clusters at step edges, rather than forming ordered monolayers. First measurements with PTCDA on KBr show that nanometre-scale rectangular pits in the surface can act as traps to confine small molecular assemblies. △ Less

Submitted 17 November, 2005; originally announced November 2005.

Journal ref: Nanotechnology 15 (2004) S91-S96

Letter of Intent for Double-CHOOZ: a Search for the Mixing Angle Theta13

Authors: F. Ardellier, I. Barabanov, J. C. Barriere, M. Bauer, L. Bezrukov, C. Buck, C. Cattadori, B. Courty, M. Cribier, F. Dalnoki-Veress, N. Danilov, H. de Kerret, A. Di Vacri, A. Etenko, M. Fallot, Ch. Grieb, M. Goeger, A. Guertin, T. Kirchner, Y. S. Krylov, D. Kryn, C. Hagner, W. Hampel, F. X. Hartmann, P. Huber , et al. (27 additional authors not shown)

Abstract: Tremendous progress has been achieved in neutrino oscillation physics during the last few years. However, the smallness of the $\t13$ neutrino mixing angle still remains enigmatic. The current best constraint comes from the CHOOZ reactor neutrino experiment $\s2t13 < 0.2$ (at 90% C.L., for $\adm2=2.0 10^{-3} \text{eV}^2$). We propose a new experiment on the same site, Double-CHOOZ, to explore th… ▽ More Tremendous progress has been achieved in neutrino oscillation physics during the last few years. However, the smallness of the $\t13$ neutrino mixing angle still remains enigmatic. The current best constraint comes from the CHOOZ reactor neutrino experiment $\s2t13 < 0.2$ (at 90% C.L., for $\adm2=2.0 10^{-3} \text{eV}^2$). We propose a new experiment on the same site, Double-CHOOZ, to explore the range of $\s2t13$ from 0.2 to 0.03, within three years of data taking. The improvement of the CHOOZ result requires an increase in the statistics, a reduction of the systematic error below one percent, and a careful control of the cosmic ray induced background. Therefore, Double-CHOOZ will use two identical detectors, one at $\sim$150 m and another at 1.05 km distance from the nuclear cores. The plan is to start data taking with two detectors in 2008, and to reach a sensitivity of 0.05 in 2009, and 0.03 in 2011. △ Less

Submitted 14 May, 2004; originally announced May 2004.

Comments: 102 pages, 9 chapters, 3 appendix. 43 figures

The Drift Chambers Of The Nomad Experiment

Authors: M. Anfreville, P. Astier, M. Authier, A. Baldisseri, M. Banner, N. Besson, J. Bouchez, A. Castera, O. Cloue, J. Dumarchez, L. Dumps, E. Gangler, J. Gosset, C. Hagner, C. Jollec, C. Lachaud, A. Letessier, J. M. Levy, L. Linssen, J. P. Meyer, J. P. Ouriet, J. P. Passerieux, T. Pedrol, A. Placci, J. Poinsignon , et al. (8 additional authors not shown)

Abstract: We present a detailed description of the drift chambers used as an active target and a tracking device in the NOMAD experiment at CERN. The main characteristics of these chambers are a large area, a self supporting structure made of light composite materials and a low cost. A spatial resolution of 150 microns has been achieved with a single hit efficiency of 97%. We present a detailed description of the drift chambers used as an active target and a tracking device in the NOMAD experiment at CERN. The main characteristics of these chambers are a large area, a self supporting structure made of light composite materials and a low cost. A spatial resolution of 150 microns has been achieved with a single hit efficiency of 97%. △ Less

Submitted 8 June, 2001; v1 submitted 9 April, 2001; originally announced April 2001.

Comments: 42 pages, 26 figures

Report number: LPNHE-01-01

Journal ref: Nucl.Instrum.Meth. A481 (2002) 339-364

Internal Jet Structure in Dijet Production in Deep-Inelastic Scattering

Authors: P. -O. Meyer

Abstract: The internal jet structure in dijet production in deep-inelastic scattering is measured with the H1 detector at HERA. Jets with transverse energies E(T,breit) > 5 GeV are selected in the Breit frame employing kt and cone jet algorithms in the kinematic region of squared momentum transfers of 10 < Q^2 < 120 GeV^2 and x-Bjorken values of 0.0002 < x < 0.008. Jet shapes and subjet multiplicities are… ▽ More The internal jet structure in dijet production in deep-inelastic scattering is measured with the H1 detector at HERA. Jets with transverse energies E(T,breit) > 5 GeV are selected in the Breit frame employing kt and cone jet algorithms in the kinematic region of squared momentum transfers of 10 < Q^2 < 120 GeV^2 and x-Bjorken values of 0.0002 < x < 0.008. Jet shapes and subjet multiplicities are measured as functions of a resolution parameter. The corrected data are well described by QCD models. It is observed that jets are more collimated with increasing transverse jet energies and decreasing pseudo-rapidities, i.e. towards the photon direction. Comparisons with OPAL data show that jet shapes of jets measured in photon-photon collisions are very similar to those measured in ep collisions. △ Less

Submitted 10 June, 1999; originally announced June 1999.

Comments: 4 pages, 3 figures, to be published in the proceedings of 7th International Workshop on Deep Inelastic Scattering and QCD (DIS 99), Zeuthen, Germany, 19-23 Apr 1999

Journal ref: Nucl.Phys.Proc.Suppl. 79 (1999) 472-474

The Origin of Present Day Cosmic Rays: Fresh SN Ejecta or Interstellar Medium Material ? II Physics of the SNR shock wave acceleration

Authors: D. C. Ellison, J. P. Meyer

Abstract: Assuming that refractory elements in cosmic rays originate in dust grains, we examine the viability of cosmic ray origin models wherein the bulk of present day cosmic rays are accelerated out of fresh supernova ejecta material before it mixes with the average interstellar medium (ISM). We conclude that the fresh ejecta scenarios that have been proposed thus far have serious flaws, and are unable… ▽ More Assuming that refractory elements in cosmic rays originate in dust grains, we examine the viability of cosmic ray origin models wherein the bulk of present day cosmic rays are accelerated out of fresh supernova ejecta material before it mixes with the average interstellar medium (ISM). We conclude that the fresh ejecta scenarios that have been proposed thus far have serious flaws, and are unable to account for known properties of present day cosmic rays. These flaws include: (1) the small fraction of ejecta to ISM mass processed by the forward supernova remnant (SNR) shock; (2) the difficulty fresh ejecta grains have in reaching the forward shock in isolated SNRs, and the small expected sputtering yield, especially ahead of the shock, even if grains do reach the forward shock; (3) the implausibility that fresh ejecta material can dominate cosmic ray production in diffuse superbubbles; and (4) the lack of a connection in fresh ejecta models between the production of cosmic ray refractory and volatile elements. We conclude that the near linear increase in Be abundance with metallicity observed in old, halo stars cannot imply that a significant fraction of the cosmic rays seen today come from fresh supernova ejecta. This conclusion is supported by the analysis of the present day cosmic ray composition, as shown in Meyer & Ellison, this volume. △ Less

Submitted 5 May, 1999; originally announced May 1999.

Comments: 11 pages, LaTeX 2.09

The Origin of Present Day Cosmic Rays: Fresh SN Ejecta or Interstellar Medium Material ? I Cosmic Ray Composition and SN Nucleosynthesis. A Conflict with the Early Galactic Evolution of Be ?

Authors: J. P. Meyer, D. C. Ellison

Abstract: The composition of present day cosmic rays (CRs) is inconsistent with a significant acceleration of SN ejecta material (even with a preferential acceleration of ejecta grain material). Current CRs must result mainly from the acceleration of ISM ("solar mix") and circumstellar (22Ne- and 12C-rich WR wind) gas and grain material. The CR source composition, indeed, shows no anomaly related to SN nu… ▽ More The composition of present day cosmic rays (CRs) is inconsistent with a significant acceleration of SN ejecta material (even with a preferential acceleration of ejecta grain material). Current CRs must result mainly from the acceleration of ISM ("solar mix") and circumstellar (22Ne- and 12C-rich WR wind) gas and grain material. The CR source composition, indeed, shows no anomaly related to SN nucleosynthesis: (i) The CR source FeNi/MgSiCa ratios have precisely solar mix values, while FeNi are mainly synthesized in SN Ia's, and MgSiCa in SN II's. If CR's originate in SN ejecta, this requires tight conditions on the acceleration efficiencies of the various SN Ia's and SN II's. (ii) The non-deficiency of the main-s-process elements, not made in any SN, relative to all elements made in SNae. (iii) All CR source isotope ratios are consistent with solar mix (except for the 22Ne and 12C excesses, WR wind). (iv) The absence of 59Ni in CRs implies that the time delay between the SN nucleosynthesis and their acceleration is > 10^5 yr. (v) The physics of SNR's and of CR shock acceleration implies that the acceleration of interior ejecta material is comparatively insignificant (Ellison & Meyer, this volume). Predominant acceleration of current CRs out of superbubble material also seems implausible. These conclusions regarding current CRs do not necessarily conflict with the linear evolution of Be/H in the early Galaxy. With the near absence of heavy elements in the early Galactic ISM, indeed, the acceleration of even a minute amount of freshly processed material must have then played a dominant role for the generation of Be from C and O. The "Be indicator" is blind to a possibly dominant early Galactic CR component originating in the ISM then composed of virtually pure H and He. △ Less

Submitted 5 May, 1999; originally announced May 1999.

Comments: 21 pages, 3 figures

Interpreting the Cosmic Ray Composition

Authors: L. O'C Drury, J. P. Meyer, D. C Ellison

Abstract: Detailed composition measurements can be a very powerful means of tracing origins, a fact used regularly by forensic scientists and art historians. One of the main motivating factors for making detailed observations of cosmic rays was always the hope that a unique compositional signature could be found which pointed unambiguously to a particular source. This has proven much harder than expected,… ▽ More Detailed composition measurements can be a very powerful means of tracing origins, a fact used regularly by forensic scientists and art historians. One of the main motivating factors for making detailed observations of cosmic rays was always the hope that a unique compositional signature could be found which pointed unambiguously to a particular source. This has proven much harder than expected, but we have now reached a point where it appears possible to begin to decipher the information contained in the compositional data; the key, we have discovered, is to read the data not in isolation, but in the context provided by our general astronomical knowledge and by recent developments in shock acceleration theory (Meyer, Drury and Ellison, 1997, 1998; Ellison, Drury and Meyer, 1997). In our view (not, it is only fair to warn the reader, yet universally accepted) the data show clearly that the Galactic cosmic ray particles originate predominantly from the gas and dust of the general interstellar medium. △ Less

Submitted 3 May, 1999; originally announced May 1999.

Comments: 14 pages, LaTeX 2.09, 4 figures