Showing 1–5 of 5 results for author: Lee, J W

Traffic smoothing using explicit local controllers

Authors: Amaury Hayat, Arwa Alanqary, Rahul Bhadani, Christopher Denaro, Ryan J. Weightman, Shengquan Xiang, Jonathan W. Lee, Matthew Bunting, Anish Gollakota, Matthew W. Nice, Derek Gloudemans, Gergely Zachar, Jon F. Davis, Maria Laura Delle Monache, Benjamin Seibold, Alexandre M. Bayen, Jonathan Sprinkle, Daniel B. Work, Benedetto Piccoli

Abstract: The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the N… ▽ More The dissipation of stop-and-go waves attracted recent attention as a traffic management problem, which can be efficiently addressed by automated driving. As part of the 100 automated vehicles experiment named MegaVanderTest, feedback controls were used to induce strong dissipation via velocity smoothing. More precisely, a single vehicle driving differently in one of the four lanes of I-24 in the Nashville area was able to regularize the velocity profile by reducing oscillations in time and velocity differences among vehicles. Quantitative measures of this effect were possible due to the innovative I-24 MOTION system capable of monitoring the traffic conditions for all vehicles on the roadway. This paper presents the control design, the technological aspects involved in its deployment, and, finally, the results achieved by the experiment. △ Less

Submitted 27 October, 2023; originally announced October 2023.

Comments: 21 pages, 1 Table , 9 figures

MSC Class: 93D15; 93D21; 93-05; 34H05; ACM Class: H.2.2

Constancy of $φ-$holomorphic scetional curvature in generalized $g.f.f-$manifolds

Authors: Jae Won Lee, Dae Ho **

Abstract: Tanno [6] provided an algebraic characterization in an almost Hermitian manifold to reduce to a space of constant holomorphic sectional curvature, which he later extended for the Sasakian manifolds as well. In this present paper, we generalize the same characterization in generalized $g.f.f-$manifolds. Tanno [6] provided an algebraic characterization in an almost Hermitian manifold to reduce to a space of constant holomorphic sectional curvature, which he later extended for the Sasakian manifolds as well. In this present paper, we generalize the same characterization in generalized $g.f.f-$manifolds. △ Less

Submitted 27 March, 2011; originally announced March 2011.

MSC Class: 53C25; 53C50

Valuation bases for generalized algebraic series fields

Authors: Franz-Viktor Kuhlmann, Salma Kuhlmann, Jonathan W. Lee

Abstract: We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power series F((G)) to admit a K-valuation basis. We show that the field of rational functions F(G) and the field F(G) of power series in F((G)) algebraic over F(G… ▽ More We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power series F((G)) to admit a K-valuation basis. We show that the field of rational functions F(G) and the field F(G) of power series in F((G)) algebraic over F(G) satisfy this condition. It follows that for archimedean F and divisible G the real closed field F(G) admits a restricted exponential function. △ Less

Submitted 26 December, 2007; originally announced December 2007.

MSC Class: 12J10; 12J15; 12L12; 13A18 (Primary) 12F05; 12F10; 12F20; 03C60 (Secondary)

Journal ref: Journal of Algebra 322 (2009), 1430-1453

A fast algorithm to the conjugacy problem on generic braids

Authors: Ki Hyoung Ko, Jang Won Lee

Abstract: Random braids that are formed by multiplying randomly chosen permutation braids are studied by analyzing their behavior under Garside's weighted decomposition and cycling. Using this analysis, we propose a polynomial-time algorithm to the conjugacy problem that is successful for random braids in overwhelming probability. As either the braid index or the number of permutation-braid factors increa… ▽ More Random braids that are formed by multiplying randomly chosen permutation braids are studied by analyzing their behavior under Garside's weighted decomposition and cycling. Using this analysis, we propose a polynomial-time algorithm to the conjugacy problem that is successful for random braids in overwhelming probability. As either the braid index or the number of permutation-braid factors increases, the success probability converges to 1 and so, contrary to the common belief, the distribution of hard instances for the conjugacy problem is getting sparser. We also prove a conjecture by Birman and González-Meneses that any pseudo-Anosov braid can be made to have a special weighted decomposition after taking power and cycling. Moreover we give polynomial upper bounds for the power and the number of iterated cyclings required. △ Less

Submitted 5 December, 2006; v1 submitted 15 November, 2006; originally announced November 2006.

Comments: 12 pages, 1 figure. to appear in the Proceedings of the International Workshop on Knot Theory for Scientific Objects: OCAMI Studies Vol 1. Knot Theory for Scientific Objects

MSC Class: 20F36; 20F10

A polynomial-time solution to the reducibility problem

Authors: Ki Hyoung Ko, Jang Won Lee

Abstract: We propose an algorithm for deciding whether a given braid is pseudo-Anosov, reducible, or periodic. The algorithm is based on Garside's weighted decomposition and is polynomial-time in the word-length of an input braid. Moreover, a reduction system of circles can be found completely if the input is a certain type of reducible braids. We propose an algorithm for deciding whether a given braid is pseudo-Anosov, reducible, or periodic. The algorithm is based on Garside's weighted decomposition and is polynomial-time in the word-length of an input braid. Moreover, a reduction system of circles can be found completely if the input is a certain type of reducible braids. △ Less

Submitted 4 December, 2006; v1 submitted 25 October, 2006; originally announced October 2006.

Comments: 13 pages, 7 figures

MSC Class: 20F36; 20F10