Showing 1–34 of 34 results for author: Claudel, C

SoPhAr: Solar Phased-Arrays to boost the range of electric, hydrogen and SAF airliners in a solar world

Authors: Christian Claudel

Abstract: In late 2022, ICAO member states adopted a long-term global aspirational goal (LTAG) to achieve net zero carbon emissions from international aviation by 2050. To date however, no economically scalable solution to the aviation decarbonization problem has been proposed. Despite considerable research on potential alternative fuels including e-fuels, Sustainable Aviation Fuel (SAF), Hydrogen or Ammoni… ▽ More In late 2022, ICAO member states adopted a long-term global aspirational goal (LTAG) to achieve net zero carbon emissions from international aviation by 2050. To date however, no economically scalable solution to the aviation decarbonization problem has been proposed. Despite considerable research on potential alternative fuels including e-fuels, Sustainable Aviation Fuel (SAF), Hydrogen or Ammonia, and extensive research on purely electric propulsion, low-carbon propulsion methods are unable to replace fossil-fuels with identical or better economics. A possible alternative to current propulsion technologies is to directly beam the required propulsive power to aircraft. Several techniques have been considered to date, in particular laser energy beaming and microwave energy beaming. This paper proposes a possible concept where future airliners are mostly powered with ground-generated power. With expected improvements and scaling in solar panel manufacturing, the proposed concept would be economically competitive even with current jet fuel prices, while considerably reducing CO2 emissions. △ Less

Submitted 6 April, 2024; originally announced April 2024.

CAV Traffic Control to Mitigate the Impact of Congestion from Bottlenecks: A Linear Quadratic Regulator Approach and Microsimulation Study

Authors: Suyash C. Vishnoi, Junyi Ji, MirSaleh Bahavarnia, Yuhang Zhang, Ahmad F. Taha, Christian G. Claudel, Daniel B. Work

Abstract: This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for… ▽ More This work investigates traffic control via controlled connected and automated vehicles (CAVs) using novel controllers derived from the linear-quadratic regulator (LQR) theory. CAV-platoons are modeled as moving bottlenecks impacting the surrounding traffic with their speeds as control inputs. An iterative controller algorithm based on the LQR theory is proposed along with a variant that allows for penalizing abrupt changes in platoons speeds. The controllers use the Lighthill-Whitham-Richards (LWR) model implemented using an extended cell transmission model (CTM) which considers the capacity drop phenomenon for a realistic representation of traffic in congestion. The impact of various parameters of the proposed controller on the control performance is analyzed. The effectiveness of the proposed traffic control algorithms is tested using a traffic control example and compared with existing proportional-integral (PI)- and model predictive control (MPC)- based controllers from the literature. A case study using the TransModeler traffic microsimulation software is conducted to test the usability of the proposed controller as well as existing controllers in a realistic setting and derive qualitative insights. It is observed that the proposed controller works well in both settings to mitigate the impact of the jam caused by a fixed bottleneck. The computation time required by the controller is also small making it suitable for real-time control. △ Less

Submitted 3 July, 2023; v1 submitted 17 June, 2023; originally announced June 2023.

Learning to Seek: Multi-Agent Online Source Seeking Against Non-Stochastic Disturbances

Authors: Bin Du, Kun Qian, Christian Claudel, Dengfeng Sun

Abstract: This paper proposes to leverage the emerging~learning techniques and devise a multi-agent online source {seeking} algorithm under unknown environment. Of particular significance in our problem setups are: i) the underlying environment is not only unknown, but dynamically changing and also perturbed by two types of non-stochastic disturbances; and ii) a group of agents is deployed and expected to c… ▽ More This paper proposes to leverage the emerging~learning techniques and devise a multi-agent online source {seeking} algorithm under unknown environment. Of particular significance in our problem setups are: i) the underlying environment is not only unknown, but dynamically changing and also perturbed by two types of non-stochastic disturbances; and ii) a group of agents is deployed and expected to cooperatively seek as many sources as possible. Correspondingly, a new technique of discounted Kalman filter is developed to tackle with the non-stochastic disturbances, and a notion of confidence bound in polytope nature is utilized~to aid the computation-efficient cooperation among~multiple agents. With standard assumptions on the unknown environment as well as the disturbances, our algorithm is shown to achieve sub-linear regrets under the two~types of non-stochastic disturbances; both results are comparable to the state-of-the-art. Numerical examples on a real-world pollution monitoring application are provided to demonstrate the effectiveness of our algorithm. △ Less

Submitted 28 April, 2023; originally announced May 2023.

FollowMe: Vehicle Behaviour Prediction in Autonomous Vehicle Settings

Authors: Abduallah Mohamed, Jundi Liu, Linda Ng Boyle, Christian Claudel

Abstract: An ego vehicle following a virtual lead vehicle planned route is an essential component when autonomous and non-autonomous vehicles interact. Yet, there is a question about the driver's ability to follow the planned lead vehicle route. Thus, predicting the trajectory of the ego vehicle route given a lead vehicle route is of interest. We introduce a new dataset, the FollowMe dataset, which offers a… ▽ More An ego vehicle following a virtual lead vehicle planned route is an essential component when autonomous and non-autonomous vehicles interact. Yet, there is a question about the driver's ability to follow the planned lead vehicle route. Thus, predicting the trajectory of the ego vehicle route given a lead vehicle route is of interest. We introduce a new dataset, the FollowMe dataset, which offers a motion and behavior prediction problem by answering the latter question of the driver's ability to follow a lead vehicle. We also introduce a deep spatio-temporal graph model FollowMe-STGCNN as a baseline for the dataset. In our experiments and analysis, we show the design benefits of FollowMe-STGCNN in capturing the interactions that lie within the dataset. We contrast the performance of FollowMe-STGCNN with prior motion prediction models showing the need to have a different design mechanism to address the lead vehicle following settings. △ Less

Submitted 12 April, 2023; originally announced April 2023.

On Differential Privacy and Traffic State Estimation Problem for Connected Vehicles

Authors: Suyash C. Vishnoi, Ahmad F. Taha, Sebastian A. Nugroho, Christian G. Claudel

Abstract: This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ… ▽ More This letter focuses on the problem of traffic state estimation for highway networks with junctions in the form of on- and off-ramps while maintaining differential privacy of traffic data. Two types of sensors are considered, fixed sensors such as inductive loop detectors and connected vehicles which provide traffic density and speed data. The celebrated nonlinear second-order Aw-Rascle- Zhang (ARZ) model is utilized to model the traffic dynamics. The model is formulated as a nonlinear state-space difference equation. Sensitivity relations are derived for the given data which are then used to formulate a differentially private mechanism which adds a Gaussian noise to the data to make it differentially private. A Moving Horizon Estimation (MHE) approach is implemented for traffic state estimation using a linearized ARZ model. MHE is compared with Kalman Filter variants namely Extended Kalman Filter, Ensemble Kalman Filter and Unscented Kalman Filter. Several research and engineering questions are formulated and analysis is performed to find corresponding answers. △ Less

Submitted 6 September, 2022; originally announced September 2022.

Comments: TO APPEAR IN THE 61ST IEEE CONFERENCE ON DECISION AND CONTROL (CDC), CANCUN, MEXICO, DECEMBER 2022. arXiv admin note: text overlap with arXiv:2209.02848

Traffic State Estimation for Connected Vehicles using the Second-Order Aw-Rascle-Zhang Traffic Model

Authors: Suyash C. Vishnoi, Sebastian A. Nugroho, Ahmad F. Taha, Christian G. Claudel

Abstract: This paper addresses the problem of traffic state estimation (TSE) in the presence of heterogeneous sensors which include both fixed and moving sensors. Traditional fixed sensors are expensive and cannot be installed throughout the highway. Moving sensors such as Connected Vehicles (CVs) offer a relatively cheap alternative to measure traffic states across the network. Moving forward it is thus im… ▽ More This paper addresses the problem of traffic state estimation (TSE) in the presence of heterogeneous sensors which include both fixed and moving sensors. Traditional fixed sensors are expensive and cannot be installed throughout the highway. Moving sensors such as Connected Vehicles (CVs) offer a relatively cheap alternative to measure traffic states across the network. Moving forward it is thus important to develop such models that effectively use the data from CVs. One such model is the nonlinear second-order Aw-Rascle-Zhang (ARZ) model which is a realistic traffic model, reliable for TSE and control. A state-space formulation is presented for the ARZ model considering junctions in the formulation which is important to model real highways with ramps. A Moving Horizon Estimation (MHE) implementation is presented for TSE using a linearized ARZ model. Various state-estimation methods used for TSE in the literature along with the presented approach are compared with regard to accuracy and computational tractability with the help of a numerical study using the VISSIM traffic simulation software. The impact of various strategies for querying CV data on the estimation performance is also considered. Several research questions are posed and addressed with a thorough analysis of the results. △ Less

Submitted 3 July, 2024; v1 submitted 6 September, 2022; originally announced September 2022.

HAR-GCNN: Deep Graph CNNs for Human Activity Recognition From Highly Unlabeled Mobile Sensor Data

Authors: Abduallah Mohamed, Fernando Lejarza, Stephanie Cahail, Christian Claudel, Edison Thomaz

Abstract: The problem of human activity recognition from mobile sensor data applies to multiple domains, such as health monitoring, personal fitness, daily life logging, and senior care. A critical challenge for training human activity recognition models is data quality. Acquiring balanced datasets containing accurate activity labels requires humans to correctly annotate and potentially interfere with the s… ▽ More The problem of human activity recognition from mobile sensor data applies to multiple domains, such as health monitoring, personal fitness, daily life logging, and senior care. A critical challenge for training human activity recognition models is data quality. Acquiring balanced datasets containing accurate activity labels requires humans to correctly annotate and potentially interfere with the subjects' normal activities in real-time. Despite the likelihood of incorrect annotation or lack thereof, there is often an inherent chronology to human behavior. For example, we take a shower after we exercise. This implicit chronology can be used to learn unknown labels and classify future activities. In this work, we propose HAR-GCCN, a deep graph CNN model that leverages the correlation between chronologically adjacent sensor measurements to predict the correct labels for unclassified activities that have at least one activity label. We propose a new training strategy enforcing that the model predicts the missing activity labels by leveraging the known ones. HAR-GCCN shows superior performance relative to previously used baseline methods, improving classification accuracy by about 25% and up to 68% on different datasets. Code is available at \url{https://github.com/abduallahmohamed/HAR-GCNN}. △ Less

Submitted 6 March, 2022; originally announced March 2022.

Journal ref: 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops)

Social-Implicit: Rethinking Trajectory Prediction Evaluation and The Effectiveness of Implicit Maximum Likelihood Estimation

Authors: Abduallah Mohamed, Deyao Zhu, Warren Vu, Mohamed Elhoseiny, Christian Claudel

Abstract: Best-of-N (BoN) Average Displacement Error (ADE)/ Final Displacement Error (FDE) is the most used metric for evaluating trajectory prediction models. Yet, the BoN does not quantify the whole generated samples, resulting in an incomplete view of the model's prediction quality and performance. We propose a new metric, Average Mahalanobis Distance (AMD) to tackle this issue. AMD is a metric that quan… ▽ More Best-of-N (BoN) Average Displacement Error (ADE)/ Final Displacement Error (FDE) is the most used metric for evaluating trajectory prediction models. Yet, the BoN does not quantify the whole generated samples, resulting in an incomplete view of the model's prediction quality and performance. We propose a new metric, Average Mahalanobis Distance (AMD) to tackle this issue. AMD is a metric that quantifies how close the whole generated samples are to the ground truth. We also introduce the Average Maximum Eigenvalue (AMV) metric that quantifies the overall spread of the predictions. Our metrics are validated empirically by showing that the ADE/FDE is not sensitive to distribution shifts, giving a biased sense of accuracy, unlike the AMD/AMV metrics. We introduce the usage of Implicit Maximum Likelihood Estimation (IMLE) as a replacement for traditional generative models to train our model, Social-Implicit. IMLE training mechanism aligns with AMD/AMV objective of predicting trajectories that are close to the ground truth with a tight spread. Social-Implicit is a memory efficient deep model with only 5.8K parameters that runs in real time of about 580Hz and achieves competitive results. Interactive demo of the problem can be seen at https://www.abduallahmohamed.com/social-implicit-amdamv-adefde-demo . Code is available at https://github.com/abduallahmohamed/Social-Implicit . △ Less

Submitted 10 September, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Comments: Accepted at ECCV 2022

A Two-stage Stochastic Model Considering Randomness of Demand in Variable Speed Limit and Boundary Flow Control

Authors: Hao Liu, Suyash Vishnoi, Christian Claudel

Abstract: The combination of boundary flow control and variable speed limit (VSL) is a widely used strategy for highway corridors to maintain safety and throughput when the capacity downstream is dropped. However, most proposed models assume fixed and known demand, which is not always true in reality. Following a recently proposed boundary flow and VSL control model that is based on the Lax-Hopf solution to… ▽ More The combination of boundary flow control and variable speed limit (VSL) is a widely used strategy for highway corridors to maintain safety and throughput when the capacity downstream is dropped. However, most proposed models assume fixed and known demand, which is not always true in reality. Following a recently proposed boundary flow and VSL control model that is based on the Lax-Hopf solution to the Lighthill-Whitham-Richards (LWR) model, this paper proposes a two-stage stochastic model to tackle the uncertainties in demand. Our model assumes the demand follows a discrete distribution and the speed limit can be chosen from a pre-defined set with reasonable values. The first stage tries to find the optimal inflow control, which is the here-and-now decision, by considering the speed limit control downstream, and the second stage is to determine the optimal speed limit after observing the real demand. Those controls are coordinated by using a rolling horizon scheme. The case study shows the proposed model outperforms three deterministic models, which use the minimum, mean value and maximum of the demand as model input, under various scenarios. With ensuring the maximum of throughput, the proposed model is demonstrated to be able to reduce the fluctuation of entry flow without a significant increase in blocked vehicles. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Where Should Traffic Sensors Be Placed on Highways?

Authors: Sebastian A. Nugroho, Suyash C. Vishnoi, Ahmad F. Taha, Christian G. Claudel, Taposh Banerjee

Abstract: This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors ar… ▽ More This paper investigates the practical engineering problem of traffic sensors placement on stretched highways with ramps. Since it is virtually impossible to install bulky traffic sensors on each highway segment, it is crucial to find placements that result in optimized network-wide, traffic observability. Consequently, this results in accurate traffic density estimates on segments where sensors are not installed. The substantial contribution of this paper is the utilization of control-theoretic observability analysis -- jointly with integer programming -- to determine traffic sensor locations based on the nonlinear dynamics and parameters of traffic networks. In particular, the celebrated asymmetric cell transmission model is used to guide the placement strategy jointly with observability analysis of nonlinear dynamic systems through Gramians. Thorough numerical case studies are presented to corroborate the proposed theoretical methods and various computational research questions are posed and addressed. The presented approach can also be extended to other models of traffic dynamics. △ Less

Submitted 4 May, 2022; v1 submitted 2 October, 2021; originally announced October 2021.

Skeleton-Graph: Long-Term 3D Motion Prediction From 2D Observations Using Deep Spatio-Temporal Graph CNNs

Authors: Abduallah Mohamed, Huancheng Chen, Zhangyang Wang, Christian Claudel

Abstract: Several applications such as autonomous driving, augmented reality and virtual reality require a precise prediction of the 3D human pose. Recently, a new problem was introduced in the field to predict the 3D human poses from observed 2D poses. We propose Skeleton-Graph, a deep spatio-temporal graph CNN model that predicts the future 3D skeleton poses in a single pass from the 2D ones. Unlike prior… ▽ More Several applications such as autonomous driving, augmented reality and virtual reality require a precise prediction of the 3D human pose. Recently, a new problem was introduced in the field to predict the 3D human poses from observed 2D poses. We propose Skeleton-Graph, a deep spatio-temporal graph CNN model that predicts the future 3D skeleton poses in a single pass from the 2D ones. Unlike prior works, Skeleton-Graph focuses on modeling the interaction between the skeleton joints by exploiting their spatial configuration. This is being achieved by formulating the problem as a graph structure while learning a suitable graph adjacency kernel. By the design, Skeleton-Graph predicts the future 3D poses without divergence in the long-term, unlike prior works. We also introduce a new metric that measures the divergence of predictions in the long term. Our results show an FDE improvement of at least 27% and an ADE of 4% on both the GTA-IM and PROX datasets respectively in comparison with prior works. Also, we are 88% and 93% less divergence on the long-term motion prediction in comparison with prior works on both GTA-IM and PROX datasets. Code is available at https://github.com/abduallahmohamed/Skeleton-Graph.git △ Less

Submitted 26 September, 2021; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: To appear in the The ROAD Challenge: Event Detection for Situation Awareness in Autonomous Driving ICCV 2021 Workshop

Journal ref: Proceedings of the IEEE/CVF International Conference on Computer Vision (ICCV) Workshops, 2021

Feedback Stabilization and Output Tracking for Discrete-Time Lipschitz Nonlinear Systems via Iterative Convex Approximations

Authors: Sebastian A. Nugroho, Suyash C. Vishnoi, Ahmad F. Taha, Christian G. Claudel

Abstract: The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and conseq… ▽ More The stabilization of unstable nonlinear systems and tracking control are challenging engineering problems due to the encompassed nonlinearities in dynamic systems and their scale. In the past decades, numerous observer-based control designs for dynamic systems in which the nonlinearity belongs to Lipschitz functions have been proposed. However, most of them only focus on output feedback and consequently, state feedback design remains less developed. To that end, this paper is dedicated to the problem of full-state feedback controller design for discrete-time Lipschitz nonlinear systems. In addition, we present a simple iterative method for improving the convergence of the closed-loop performance. It is later demonstrated that our approach can be conveniently extended and utilized for output tracking. △ Less

Submitted 20 April, 2021; originally announced April 2021.

Multi-Robot Dynamical Source Seeking in Unknown Environments

Authors: Bin Du, Kun Qian, Christian Claudel, Dengfeng Sun

Abstract: This paper presents an algorithmic framework for the distributed on-line source seeking, termed as 'DoSS', with a multi-robot system in an unknown dynamical environment. Our algorithm, building on a novel concept called dummy confidence upper bound (D-UCB), integrates both estimation of the unknown environment and task planning for the multiple robots simultaneously, and as a result, drives the te… ▽ More This paper presents an algorithmic framework for the distributed on-line source seeking, termed as 'DoSS', with a multi-robot system in an unknown dynamical environment. Our algorithm, building on a novel concept called dummy confidence upper bound (D-UCB), integrates both estimation of the unknown environment and task planning for the multiple robots simultaneously, and as a result, drives the team of robots to a steady state in which multiple sources of interest are located. Unlike the standard UCB algorithm in the context of multi-armed bandits, the introduction of D-UCB significantly reduces the computational complexity in solving subproblems of the multi-robot task planning. This also enables our 'DoSS' algorithm to be implementable in a distributed on-line manner. The performance of the algorithm is theoretically guaranteed by showing a sub-linear upper bound of the cumulative regret. Numerical results on a real-world methane emission seeking problem are also provided to demonstrate the effectiveness of the proposed algorithm. △ Less

Submitted 7 May, 2021; v1 submitted 19 March, 2021; originally announced March 2021.

Jacobi-Style Iteration for Distributed Submodular Maximization

Authors: Bin Du, Kun Qian, Christian Claudel, Dengfeng Sun

Abstract: This paper presents a novel Jacobi-style iteration algorithm for solving the problem of distributed submodular maximization, in which each agent determines its own strategy from a finite set so that the global submodular objective function is jointly maximized. Building on the multi-linear extension of the global submodular function, we expect to achieve the solution from a probabilistic, rather t… ▽ More This paper presents a novel Jacobi-style iteration algorithm for solving the problem of distributed submodular maximization, in which each agent determines its own strategy from a finite set so that the global submodular objective function is jointly maximized. Building on the multi-linear extension of the global submodular function, we expect to achieve the solution from a probabilistic, rather than deterministic, perspective, and thus transfer the considered problem from a discrete domain into a continuous domain. Since it is observed that an unbiased estimation of the gradient of multi-linear extension function~can be obtained by sampling the agents' local decisions, a projected stochastic gradient algorithm is proposed to solve the problem. Our algorithm enables the distributed updates among all individual agents and is proved to asymptotically converge to a desirable equilibrium solution. Such an equilibrium solution is guaranteed to achieve at least 1/2-suboptimal bound, which is comparable to the state-of-art in the literature. Moreover, we further enhance the proposed algorithm by handling the scenario in which agents' communication delays are present. The enhanced algorithmic framework admits a more realistic distributed implementation of our approach. Finally, a movie recommendation task is conducted on a real-world movie rating data set, to validate the numerical performance of the proposed algorithms. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Inner Ensemble Networks: Average Ensemble as an Effective Regularizer

Authors: Abduallah Mohamed, Muhammed Mohaimin Sadiq, Ehab AlBadawy, Mohamed Elhoseiny, Christian Claudel

Abstract: We introduce Inner Ensemble Networks (IENs) which reduce the variance within the neural network itself without an increase in the model complexity. IENs utilize ensemble parameters during the training phase to reduce the network variance. While in the testing phase, these parameters are removed without a change in the enhanced performance. IENs reduce the variance of an ordinary deep model by a fa… ▽ More We introduce Inner Ensemble Networks (IENs) which reduce the variance within the neural network itself without an increase in the model complexity. IENs utilize ensemble parameters during the training phase to reduce the network variance. While in the testing phase, these parameters are removed without a change in the enhanced performance. IENs reduce the variance of an ordinary deep model by a factor of $1/m^{L-1}$, where $m$ is the number of inner ensembles and $L$ is the depth of the model. Also, we show empirically and theoretically that IENs lead to a greater variance reduction in comparison with other similar approaches such as dropout and maxout. Our results show a decrease of error rates between 1.7\% and 17.3\% in comparison with an ordinary deep model. We also show that IEN was preferred by Neural Architecture Search (NAS) methods over prior approaches. Code is available at https://github.com/abduallahmohamed/inner_ensemble_nets. △ Less

Submitted 9 October, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

Real-time Mobile Sensor Management Framework for city-scale environmental monitoring

Authors: Kun Qian, Christian G. Claudel

Abstract: Environmental disasters such as flash floods are becoming more and more prevalent and carry an increasing burden on human civilization. They are usually unpredictable, fast in development, and extend across large geographical areas. The consequences of such disasters can be reduced through better monitoring, for example using mobile sensing platforms that can give timely and accurate information t… ▽ More Environmental disasters such as flash floods are becoming more and more prevalent and carry an increasing burden on human civilization. They are usually unpredictable, fast in development, and extend across large geographical areas. The consequences of such disasters can be reduced through better monitoring, for example using mobile sensing platforms that can give timely and accurate information to first responders and the public. Given the extended scale of the areas to monitor, and the time-varying nature of the phenomenon, we need fast algorithms to quickly determine the best sequence of locations to be monitored. This problem is very challenging: the present informative mobile sensor routing algorithms are either short-sighted or computationally demanding when applied to large scale systems. In this paper, a real-time sensor task scheduling algorithm that suits the features and needs of city-scale environmental monitoring tasks is proposed. The algorithm is run in forward search and makes use of the predictions of an associated distributed parameter system, modeling flash flood propagation. It partly inherits the causal relation expressed by a search tree, which describes all possible sequential decisions. The computationally heavy data assimilation steps in the forward search tree are replaced by functions dependent on the covariance matrix between observation sets. Taking flood tracking in an urban area as a concrete example, numerical experiments in this paper indicate that this scheduling algorithm can achieve better results than myopic planning algorithms and other heuristics based sensor placement algorithms. Furthermore, this paper relies on a deep learning-based data-driven model to track the system states, and experiments suggest that popular estimation techniques have very good performance when applied to precise data-driven models. △ Less

Submitted 20 May, 2020; originally announced May 2020.

Comments: for associated data and code, see https://drive.google.com/drive/folders/1gRz4T2KGFXtlnSugarfUL8r355cXb7Ko?usp=sharing

Impacts of Covid-19 mode shift on road traffic

Authors: Yue Hu, William Barbour, Kun Qian, Christian Claudel, Samitha Samaranayake, Daniel B. Work

Abstract: This work considers the sensitivity of commute travel times in US metro areas due to potential changes in commute patterns, for example caused by events such as pandemics. Permanent shifts away from transit and carpooling can add vehicles to congested road networks, increasing travel times. Growth in the number of workers who avoid commuting and work from home instead can offset travel time increa… ▽ More This work considers the sensitivity of commute travel times in US metro areas due to potential changes in commute patterns, for example caused by events such as pandemics. Permanent shifts away from transit and carpooling can add vehicles to congested road networks, increasing travel times. Growth in the number of workers who avoid commuting and work from home instead can offset travel time increases. To estimate these potential impacts, 6-9 years of American Community Survey commute data for 118 metropolitan statistical areas are investigated. For 74 of the metro areas, the average commute travel time is shown to be explainable using only the number of passenger vehicles used for commuting. A universal Bureau of Public Roads model characterizes the sensitivity of each metro area with respect to additional vehicles. The resulting models are then used to determine the change in average travel time for each metro area in scenarios when 25\% or 50\% of transit and carpool users switch to single occupancy vehicles. Under a 25\% mode shift, areas such as San Francisco and New York that are already congested and have high transit ridership may experience round trip travel time increases of 12 minutes (New York) to 20 minutes (San Francisco), costing individual commuters \$1065 and \$1601 annually in lost time. The travel time increases and corresponding costs can be avoided with an increase in working from home. The main contribution of this work is to provide a model to quantify the potential increase in commute travel times under various behavior changes, that can aid policy making for more efficient commuting. △ Less

Submitted 1 March, 2023; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 14 pages, 11 figures

MSC Class: 62P30

Social-STGCNN: A Social Spatio-Temporal Graph Convolutional Neural Network for Human Trajectory Prediction

Authors: Abduallah Mohamed, Kun Qian, Mohamed Elhoseiny, Christian Claudel

Abstract: Better machine understanding of pedestrian behaviors enables faster progress in modeling interactions between agents such as autonomous vehicles and humans. Pedestrian trajectories are not only influenced by the pedestrian itself but also by interaction with surrounding objects. Previous methods modeled these interactions by using a variety of aggregation methods that integrate different learned p… ▽ More Better machine understanding of pedestrian behaviors enables faster progress in modeling interactions between agents such as autonomous vehicles and humans. Pedestrian trajectories are not only influenced by the pedestrian itself but also by interaction with surrounding objects. Previous methods modeled these interactions by using a variety of aggregation methods that integrate different learned pedestrians states. We propose the Social Spatio-Temporal Graph Convolutional Neural Network (Social-STGCNN), which substitutes the need of aggregation methods by modeling the interactions as a graph. Our results show an improvement over the state of art by 20% on the Final Displacement Error (FDE) and an improvement on the Average Displacement Error (ADE) with 8.5 times less parameters and up to 48 times faster inference speed than previously reported methods. In addition, our model is data efficient, and exceeds previous state of the art on the ADE metric with only 20% of the training data. We propose a kernel function to embed the social interactions between pedestrians within the adjacency matrix. Through qualitative analysis, we show that our model inherited social behaviors that can be expected between pedestrians trajectories. Code is available at https://github.com/abduallahmohamed/Social-STGCNN. △ Less

Submitted 24 March, 2020; v1 submitted 27 February, 2020; originally announced February 2020.

Comments: Accepted by CVPR 2020

Journal ref: The IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2020, pp. 14424-14432

A Robust Traffic Control Model Considering Uncertainties in Turning Ratios

Authors: Hao Liu, Christian Claudel, Randy Machemehl, Kenneth A. Perrine

Abstract: The effects of model parameter uncertainty on traffic flow control problems have recently drawn research attention. While the uncertainty in fundamental diagram related parameters has been investigated in the past, few articles have focused on network parameters uncertainty, including turning ratio uncertainty. To fill this gap, this article proposes a robust control model to deal with the uncerta… ▽ More The effects of model parameter uncertainty on traffic flow control problems have recently drawn research attention. While the uncertainty in fundamental diagram related parameters has been investigated in the past, few articles have focused on network parameters uncertainty, including turning ratio uncertainty. To fill this gap, this article proposes a robust control model to deal with the uncertainties in the turning ratio by using distributionally robust chance constraints. The model allows one to compute the optimal control action that maximizes some objective, under all possible distributions of network parameters. We then apply this robust control framework to both a freeway network and an urban network, and evaluate the impact of uncertainty on optimal control inputs, over the test networks. The case studies show that compared to non-robust control, the proposed robust model can reduce congestion brought by the uncertainties and improve the overall throughput. △ Less

Submitted 7 March, 2021; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: Accepted for publication on IEEE Transactions on Intelligent Transportation Systems

Asymmetric Cell Transmission Model-Based, Ramp-Connected Robust Traffic Density Estimation under Bounded Disturbances

Authors: Suyash C. Vishnoi, Sebastian A. Nugroho, Ahmad F. Taha, Christian Claudel, Taposh Banerjee

Abstract: In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a… ▽ More In modern transportation systems, traffic congestion is inevitable. To minimize the loss caused by congestion, various control strategies have been developed most of which rely on observing real-time traffic conditions. As vintage traffic sensors are limited, traffic density estimation is very helpful for gaining network-wide observability. This paper deals with this problem by first, presenting a traffic model for stretched highway having multiple ramps built based on asymmetric cell transmission model (ACTM). Second, based on the assumption that the encompassed nonlinearity of the ACTM is Lipschitz, a robust dynamic observer framework for performing traffic density estimation is proposed. Numerical test results show that the observer yields a sufficient performance in estimating traffic densities having noisy measurements, while being computationally faster the Unscented Kalman Filter in performing real-time estimation. △ Less

Submitted 9 February, 2020; originally announced February 2020.

Comments: To appear in the 2020 American Control Conference (ACC'2020), July 2020, Denver, Colorado

Robust Traffic Control Using a First Order Macroscopic Traffic Flow Model

Authors: Hao Liu, Christian Claudel, Randy Machemehl

Abstract: Traffic control is at the core of research in transportation engineering because it is one of the best practices for reducing traffic congestion. It has been shown in recent years that the traffic control problem involving Lighthill-Whitham-Richards (LWR) model can be formulated as a Linear Programming (LP) problem given that the corresponding initial conditions and the model parameters in the fun… ▽ More Traffic control is at the core of research in transportation engineering because it is one of the best practices for reducing traffic congestion. It has been shown in recent years that the traffic control problem involving Lighthill-Whitham-Richards (LWR) model can be formulated as a Linear Programming (LP) problem given that the corresponding initial conditions and the model parameters in the fundamental diagram are fixed. However, the initial conditions can be uncertain when studying actual control problems. This paper presents a stochastic programming formulation of the boundary control problem involving chance constraints, to capture the uncertainty in the initial conditions. Different objective functions are explored using this framework, and case studies for both a single highway link and a small network are conducted. In addition, the optimal results are validated with Monte Carlo simulation. △ Less

Submitted 6 May, 2021; v1 submitted 16 January, 2020; originally announced January 2020.

Comments: Published on IEEE Transactions on Intelligent Transportation Systems

Physics Informed Data Driven model for Flood Prediction: Application of Deep Learning in prediction of urban flood development

Authors: Kun Qian, Abduallah Mohamed, Christian Claudel

Abstract: Flash floods in urban areas occur with increasing frequency. Detecting these floods would greatlyhelp alleviate human and economic losses. However, current flood prediction methods are eithertoo slow or too simplified to capture the flood development in details. Using Deep Neural Networks,this work aims at boosting the computational speed of a physics-based 2-D urban flood predictionmethod, govern… ▽ More Flash floods in urban areas occur with increasing frequency. Detecting these floods would greatlyhelp alleviate human and economic losses. However, current flood prediction methods are eithertoo slow or too simplified to capture the flood development in details. Using Deep Neural Networks,this work aims at boosting the computational speed of a physics-based 2-D urban flood predictionmethod, governed by the Shallow Water Equation (SWE). Convolutional Neural Networks(CNN)and conditional Generative Adversarial Neural Networks(cGANs) are applied to extract the dy-namics of flood from the data simulated by a Partial Differential Equation(PDE) solver. Theperformance of the data-driven model is evaluated in terms of Mean Squared Error(MSE) andPeak Signal to Noise Ratio(PSNR). The deep learning-based, data-driven flood prediction modelis shown to be able to provide precise real-time predictions of flood development △ Less

Submitted 23 August, 2019; originally announced August 2019.

A Control-Theoretic Approach for Scalable and Robust Traffic Density Estimation using Convex Optimization

Authors: Sebastian A. Nugroho, Ahmad F. Taha, Christian Claudel

Abstract: Monitoring and control of traffic networks represent alternative, inexpensive strategies to minimize traffic congestion. As the number of traffic sensors is naturally constrained by budgetary requirements, real-time estimation of traffic flow in road segments that are not equipped with sensors is of significant importance---thereby providing situational awareness and guiding real-time feedback con… ▽ More Monitoring and control of traffic networks represent alternative, inexpensive strategies to minimize traffic congestion. As the number of traffic sensors is naturally constrained by budgetary requirements, real-time estimation of traffic flow in road segments that are not equipped with sensors is of significant importance---thereby providing situational awareness and guiding real-time feedback control strategies. To that end, firstly we build a generalized traffic flow model for stretched highways with arbitrary number of ramp flows based on the Lighthill Whitham Richards (LWR) flow model. Secondly, we characterize the function set corresponding to the nonlinearities present in the LWR model, and use this characterization to design real-time and robust state estimators (SE) for stretched highway segments. Specifically, we show that the nonlinearities from the derived models are locally Lipschitz continuous by providing the analytical Lipschitz constants. Thirdly, the analytical derivation is then incorporated through a robust SE method given a limited number of traffic sensors, under the impact of process and measurement disturbances and unknown inputs. The estimator is based on deriving a convex semidefinite optimization problem. Finally, numerical tests are given showcasing the applicability, scalability, and robustness of the proposed estimator for large systems under high magnitude disturbances, parametric uncertainty, and unknown inputs. △ Less

Submitted 8 November, 2019; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: IEEE Transactions on Intelligent Transportation Systems, In Press

IEA: Inner Ensemble Average within a convolutional neural network

Authors: Abduallah Mohamed, Xinrui Hua, Xianda Zhou, Christian Claudel

Abstract: Ensemble learning is a method of combining multiple trained models to improve model accuracy. We propose the usage of such methods, specifically ensemble average, inside Convolutional Neural Network (CNN) architectures by replacing the single convolutional layers with Inner Average Ensembles (IEA) of multiple convolutional layers. Empirical results on different benchmarking datasets show that CNN… ▽ More Ensemble learning is a method of combining multiple trained models to improve model accuracy. We propose the usage of such methods, specifically ensemble average, inside Convolutional Neural Network (CNN) architectures by replacing the single convolutional layers with Inner Average Ensembles (IEA) of multiple convolutional layers. Empirical results on different benchmarking datasets show that CNN models using IEA outperform those with regular convolutional layers. A visual and a similarity score analysis of the features generated from IEA explains why it boosts the model performance. △ Less

Submitted 6 August, 2019; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: Updating results

MCRM: Mother Compact Recurrent Memory

Authors: Abduallah A. Mohamed, Christian Claudel

Abstract: LSTMs and GRUs are the most common recurrent neural network architectures used to solve temporal sequence problems. The two architectures have differing data flows dealing with a common component called the cell state (also referred to as the memory). We attempt to enhance the memory by presenting a modification that we call the Mother Compact Recurrent Memory (MCRM). MCRMs are a type of a nested… ▽ More LSTMs and GRUs are the most common recurrent neural network architectures used to solve temporal sequence problems. The two architectures have differing data flows dealing with a common component called the cell state (also referred to as the memory). We attempt to enhance the memory by presenting a modification that we call the Mother Compact Recurrent Memory (MCRM). MCRMs are a type of a nested LSTM-GRU architecture where the cell state is the GRU hidden state. The concatenation of the forget gate and input gate interactions from the LSTM are considered an input to the GRU cell. Because MCRMs has this type of nesting, MCRMs have a compact memory pattern consisting of neurons that acts explicitly in both long-term and short-term fashions. For some specific tasks, empirical results show that MCRMs outperform previously used architectures. △ Less

Submitted 6 August, 2019; v1 submitted 4 August, 2018; originally announced August 2018.

Comments: Submitted to AAAI-19

Unmanned Aerial Vehicle Path Planning for Traffic Estimation and Detection of Non-Recurrent Congestion

Authors: Cesar N. Yahia, Shannon E. Scott, Stephen D. Boyles, Christian G. Claudel

Abstract: Unmanned aerial vehicles (UAVs) provide a novel means of extracting road and traffic information from video data. In particular, by analyzing objects in a video frame, UAVs can detect traffic characteristics and road incidents. Leveraging the mobility and detection capabilities of UAVs, we investigate a navigation algorithm that seeks to maximize information on the road/traffic state under non-rec… ▽ More Unmanned aerial vehicles (UAVs) provide a novel means of extracting road and traffic information from video data. In particular, by analyzing objects in a video frame, UAVs can detect traffic characteristics and road incidents. Leveraging the mobility and detection capabilities of UAVs, we investigate a navigation algorithm that seeks to maximize information on the road/traffic state under non-recurrent congestion. We propose an active exploration framework that (1) assimilates UAV observations with speed-density sensor data, (2) quantifies uncertainty on the road/traffic state, and (3) adaptively navigates the UAV to minimize this uncertainty. The navigation algorithm uses the A-optimal information measure (mean uncertainty), and it depends on covariance matrices generated by a dual state ensemble Kalman filter (EnKF). In the EnKF procedure, since observations are a nonlinear function of the incident state variables, we use diagnostic variables that represent model predicted measurements. We also present a state update procedure that maintains a monotonic relationship between incident parameters and measurements. We compare the traffic/incident state estimates resulting from the UAV navigation-estimation procedure against corresponding estimates that do not use targeted UAV observations. Our results indicate that UAVs aid in detection of incidents under congested conditions where speed-density data are not informative. △ Less

Submitted 4 October, 2021; v1 submitted 31 July, 2018; originally announced July 2018.

Journal ref: Transportation Letters (2021): 1-14

A Fast Lax-Hopf formula to solve the Lighthill-Whitham-Richards traffic flow model on networks

Authors: Michele Simoni, Christian Claudel

Abstract: Efficient and exact algorithms are important for performing fast and accurate traffic network simulations with macroscopic traffic models. In this paper, we extend the semi-analytical Lax-Hopf algorithm in order to compute link inflows and outflows with the LWR model. Our proposed Fax Lax-Hopf algorithm has a very low computational complexity. We demonstrate that some of the original algorithm's o… ▽ More Efficient and exact algorithms are important for performing fast and accurate traffic network simulations with macroscopic traffic models. In this paper, we extend the semi-analytical Lax-Hopf algorithm in order to compute link inflows and outflows with the LWR model. Our proposed Fax Lax-Hopf algorithm has a very low computational complexity. We demonstrate that some of the original algorithm's operations (associated with the initial conditions) can be discarded, leading to a faster computation of boundary demand/supplies in network simulation problems, for general concave fundamental diagrams. Moreover, the computational cost can be further reduced for triangular Fundamental Diagrams and specific space-time discretizations. The resulting formulation has a performance comparable to the Link Transmission Model and, since it solves the original LWR model for a wide range of FD shapes, with any initial configuration, it is suitable to solve a broad range of traffic operations problems. As part of the analysis, we compare the performance of the proposed scheme to other well-known computational methods. △ Less

Submitted 27 August, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: 36 pages, 10 figures

A convex formulation of traffic dynamics on transportation networks

Authors: Yanning Li, Christian G. Claudel, Benedetto Piccoli, Daniel B. Work

Abstract: This article proposes a numerical scheme for computing the evolution of vehicular traffic on a road network over a finite time horizon. The traffic dynamics on each link is modeled by the Hamilton-Jacobi (HJ) partial differential equation (PDE), which is an equivalent form of the Lighthill-Whitham-Richards PDE. The main contribution of this article is the construction of a single convex optimizati… ▽ More This article proposes a numerical scheme for computing the evolution of vehicular traffic on a road network over a finite time horizon. The traffic dynamics on each link is modeled by the Hamilton-Jacobi (HJ) partial differential equation (PDE), which is an equivalent form of the Lighthill-Whitham-Richards PDE. The main contribution of this article is the construction of a single convex optimization program which computes the traffic flow at a junction over a finite time horizon and decouples the PDEs on connecting links. Compared to discretization schemes which require the computation of all traffic states on a time-space grid, the proposed convex optimization approach computes the boundary flows at the junction using only the initial condition on links and the boundary conditions of the network. The computed boundary flows at the junction specify the boundary condition for the HJ PDE on connecting links, which then can be separately solved using an existing semi-explicit scheme for single link HJ PDE. As demonstrated in a numerical example of ramp metering control, the proposed convex optimization approach also provides a natural framework for optimal traffic control applications. △ Less

Submitted 13 February, 2017; originally announced February 2017.

A fast semi-analytic algorithm for computing solutions associated with multiple moving or fixed bottlenecks: Application to joint scheduling and signal timing

Authors: Michele D. Simoni, Christian G. Claudel

Abstract: Moving and fixed bottlenecks are moving or fixed capacity restrictions that affect the propagation of traffic flow. They are a very important modeling approach to describe the effects of slow vehicles and traffic signals in transportation networks. However, the computation of solutions associated with the presence of fixed and moving bottlenecks is complex, since they both influence and are influe… ▽ More Moving and fixed bottlenecks are moving or fixed capacity restrictions that affect the propagation of traffic flow. They are a very important modeling approach to describe the effects of slow vehicles and traffic signals in transportation networks. However, the computation of solutions associated with the presence of fixed and moving bottlenecks is complex, since they both influence and are influenced by traffic. In this study, we propose a fast numerical scheme that can efficiently compute the solutions to an arbitrary number of fixed and moving bottlenecks, for a stretch of road modeled by the Lighthill-Whitham-Richards (LWR) model with triangular fundamental diagram. The numerical scheme is based on a semi-analytic Lax-Hopf formula that requires a very low number of operations compared with existing schemes. We illustrate the performance of the numerical scheme on scenarios involving multiple slow vehicles and traffic signals, and demonstrate that this scheme can be part of an optimization loop to simultaneously optimize the schedule of several heavy-duty vehicles and traffic signals in a city for alleviating traffic congestion △ Less

Submitted 4 January, 2017; originally announced January 2017.

Comments: 21 pages, 8 figures

Networked Traffic State Estimation Involving Mixed Fixed-mobile Sensor Data Using Hamilton-Jacobi equations

Authors: Edward S. Canepa, Christian G. Claudel

Abstract: Nowadays, traffic management has become a challenge for urban areas, which are covering larger geographic spaces and facing the generation of different kinds of traffic data. This article presents a robust traffic estimation framework for highways modeled by a system of Lighthill Whitham Richards equations that is able to assimilate different sensor data available. We first present an equivalent f… ▽ More Nowadays, traffic management has become a challenge for urban areas, which are covering larger geographic spaces and facing the generation of different kinds of traffic data. This article presents a robust traffic estimation framework for highways modeled by a system of Lighthill Whitham Richards equations that is able to assimilate different sensor data available. We first present an equivalent formulation of the problem using a Hamilton-Jacobi equation. Then, using a semi-analytic formula, we show that the model constraints resulting from the Hamilton-Jacobi equation are linear ones. We then pose the problem of estimating the traffic density given incomplete and inaccurate traffic data as a Mixed Integer Program. We then extend the density estimation framework to highway networks with any available data constraint and modeling junctions. Finally, we present a travel estimation application for a small network using real traffic measurements obtained obtained during Mobile Century traffic experiment, and comparing the results with ground truth data. △ Less

Submitted 10 June, 2016; originally announced June 2016.

Short range networks of wearables for safer mobility in smart cities

Authors: Kapil Sharma, Christian Claudel

Abstract: Ensuring safe and efficient mobility is a critical issue for smart city operators. Increasing safety not only reduces the likelihood of road injuries and fatalities, but also reduces traffic congestion and disruptions caused by accidents, increasing efficiency. While new vehicles are increasingly equipped with semi-automation, the added costs will initially limit the penetration rate of these syst… ▽ More Ensuring safe and efficient mobility is a critical issue for smart city operators. Increasing safety not only reduces the likelihood of road injuries and fatalities, but also reduces traffic congestion and disruptions caused by accidents, increasing efficiency. While new vehicles are increasingly equipped with semi-automation, the added costs will initially limit the penetration rate of these systems. An inexpensive way to replace or augment these systems is to create networks of wearables (smart glasses, watches) that exchange positional and path data at a very fast rate between all users, identify collision risks and feedback collision resolution information to all users in an intuitive way through their smart glasses. △ Less

Submitted 5 June, 2016; originally announced June 2016.

Comments: Workshop on System and Control Perspectives for Smart City, IEEE CDC 2015

Cumulative gravitational lensing in Newtonian perturbations of Friedman-Robertson-Walker cosmologies

Authors: Clarissa-Marie Claudel

Abstract: It is a common assumption amongst astronomers that, in the determination of the distances of remote sources from their apparent brightness, the cumulative gravitational lensing due to the matter in all the galaxies is the same, on average, as if the matter were uniformly distributed throughout the cosmos. The validity of this assumption is considered here by way of general Newtonian perturbation… ▽ More It is a common assumption amongst astronomers that, in the determination of the distances of remote sources from their apparent brightness, the cumulative gravitational lensing due to the matter in all the galaxies is the same, on average, as if the matter were uniformly distributed throughout the cosmos. The validity of this assumption is considered here by way of general Newtonian perturbations of Friedman-Robertson-Walker (FRW) cosmologies. The analysis is carried out in synchronous gauge, with particular attention to an additional gauge condition that must be imposed. The mean correction to the apparent magnitude-redshift relation is obtained for an arbitrary mean density perturbation. In the case of a zero mean density perturbation, when the intergalactic matter has a dust equation of state, then there is indeed a zero-mean first order correction to the apparent magnitude-redshift relation for all redshifts. Point particle and Swiss cheese models are considered as particular cases. △ Less

Submitted 22 May, 2000; originally announced May 2000.

Comments: 28 pages. LaTeX2e. Uses the following packages: amsmath, amsthm, amssymb, amsfonts, mathrsfs

Journal ref: Proc.Roy.Soc.Lond. A456 (2000) 1455-1482

The geometry of photon surfaces

Authors: Clarissa-Marie Claudel, K. S. Virbhadra, G. F. R. Ellis

Abstract: The photon sphere concept in Schwarzschild space-time is generalized to a definition of a photon surface in an arbitrary space-time. A photon sphere is then defined as an SO(3)xR-invariant photon surface in a static spherically symmetric space-time. It is proved, subject to an energy condition, that a black hole in any such space-time must be surrounded by a photon sphere. Conversely, subject to… ▽ More The photon sphere concept in Schwarzschild space-time is generalized to a definition of a photon surface in an arbitrary space-time. A photon sphere is then defined as an SO(3)xR-invariant photon surface in a static spherically symmetric space-time. It is proved, subject to an energy condition, that a black hole in any such space-time must be surrounded by a photon sphere. Conversely, subject to an energy condition, any photon sphere must surround a black hole, a naked singularity or more than a certain amount of matter. A second order evolution equation is obtained for the area of an SO(3)-invariant photon surface in a general non-static spherically symmetric space-time. Many examples are provided. △ Less

Submitted 7 July, 2000; v1 submitted 15 May, 2000; originally announced May 2000.

Comments: 24 pages, 5 figures. Uses the following packages: amsmath, amsthm, amssymb, amsfonts, mathrsfs, enumerate, graphicx

Journal ref: J.Math.Phys.42:818-838,2001

Black holes and closed trapped surfaces: a revision of a classic theorem

Authors: Clarissa-Marie Claudel

Abstract: It is standard assertion in relativity that, subject to an energy condition and the cosmic censorship hypothesis, closed trapped surfaces are not visible from future null infinity. A proof given by Hawking & Ellis in ''The Large Scale Structure of Space-Time'' is flawed since it is formulated in terms of an inadequate definition of a weakly asymptotically simple and empty space-time. A new proof… ▽ More It is standard assertion in relativity that, subject to an energy condition and the cosmic censorship hypothesis, closed trapped surfaces are not visible from future null infinity. A proof given by Hawking & Ellis in ''The Large Scale Structure of Space-Time'' is flawed since it is formulated in terms of an inadequate definition of a weakly asymptotically simple and empty space-time. A new proof is given based on a more restrictive definition of a weakly asymptotically simple and empty space-time. △ Less

Submitted 7 July, 2000; v1 submitted 10 May, 2000; originally announced May 2000.

Comments: 15 pages, 4 figures. Uses the following packages: amsmath,amsthm, amssymb, amsfonts, mathrsfs, enumerate, graphicx