Unstitching Scarlet Letters?: Prosecutorial Discretion and Expungement

This Article argues that scholarly discussions about prosecutorial discretion need to extend their focus beyond the exercise of prosecutorial judgment pretrial or questions of factual and legal guilt. Given that the primary role of the prosecutoris to do “justice,” this Article calls for increased attention to the exercise of discretion after the guilt phase is complete, specifically in the context of expungement of nonconviction andconviction information. It offers a framework for exercising such discretion and, in doing so, hopes to initiate additional conversation about the role of prosecutors during the phases that follow arrest and prosecution

Nilpotent Bases for a Class of Non-Integrable Distributions with Applications to Trajectory Generation for Nonholonomic Systems

This paper develops a constructive method for finding a nilpotent basis for a special class of smooth nonholonomic distributions. The main tool is the use of the Goursat normal form theorem which arises in the study of exterior differential systems. The results are applied to the problem of finding a set of nilpotent input vector fields for a nonholonomic control system, which can then used to construct explicit trajectories to drive the system between any two points. A kinematic model of a rolling penny is used to illustrate this approach. The methods presented here extend previous work using "chained form" and cast that work into a coordinate-free setting

Solving physics-driven inverse problems via structured least squares

Numerous physical phenomena are well modeled by partial differential equations (PDEs); they describe a wide range of phenomena across many application domains, from model- ing EEG signals in electroencephalography to, modeling the release and propagation of toxic substances in environmental monitoring. In these applications it is often of interest to find the sources of the resulting phenomena, given some sparse sensor measurements of it. This will be the main task of this work. Specifically, we will show that finding the sources of such PDE-driven fields can be turned into solving a class of well-known multi-dimensional structured least squares prob- lems. This link is achieved by leveraging from recent results in modern sampling theory – in particular, the approximate Strang-Fix theory. Subsequently, numerical simulation re- sults are provided in order to demonstrate the validity and robustness of the proposed framework

Quantitative Performance Bounds in Biomolecular Circuits due to Temperature Uncertainty

Performance of biomolecular circuits is affected by changes in temperature, due to its influence on underlying reaction rate parameters. While these performance variations have been estimated using Monte Carlo simulations, how to analytically bound them is generally unclear. To address this, we apply control-theoretic representations of uncertainty to examples of different biomolecular circuits, developing a framework to represent uncertainty due to temperature. We estimate bounds on the steady-state performance of these circuits due to temperature uncertainty. Through an analysis of the linearised dynamics, we represent this uncertainty as a feedback uncertainty and bound the variation in the magnitude of the input-output transfer function, providing a estimate of the variation in frequency-domain properties. Finally, we bound the variation in the time trajectories, providing an estimate of variation in time-domain properties. These results should enable a framework for analytical characterisation of uncertainty in biomolecular circuit performance due to temperature variation and may help in estimating relative performance of different controllers

Conversion and verification procedure for goal-based control programs

Fault tolerance and safety verification of control systems are essential for the success of autonomous robotic systems. A control architecture called Mission Data System, developed at the Jet Propulsion Laboratory, takes a goal-based control approach. In this paper, a method for converting goal network control programs into linear hybrid systems is developed. The linear hybrid system can then be verified for safety in the presence of failures using existing symbolic model checkers. An example task is developed and successfully verified using HyTech, a symbolic model checking software for linear hybrid systems

Theory of Charge Order and Heavy-Electron Formation in the Mixed-Valence Compound KNi2_2Se2_2

The material KNi$_2$Se$_2$ has recently been shown to possess a number of striking physical properties, many of which are apparently related to the mixed valency of this system, in which there is on average one quasi-localized electron per every two Ni sites. Remarkably, the material exhibits a charge density wave (CDW) phase that disappears upon cooling, giving way to a low-temperature coherent phase characterized by an enhanced electron mass, reduced resistivity, and an enlarged unit cell free of structural distortion. Starting from an extended periodic Anderson model and using the slave-boson formulation, we develop a model for this system and study its properties within mean-field theory. We find a reentrant first-order transition from a CDW phase, in which the localized moments form singlet dimers, to a heavy Fermi liquid phase as temperature is lowered. The magnetic susceptibility is Pauli-like in both the high- and low-temperature regions, illustrating the lack of a single-ion Kondo regime such as that usually found in heavy-fermion materials.Comment: 4.5 pages, 4 figures. Published versio