An accurate battery capacity and state estimation method is one of the most significant and difficult techniques to ensure efficient and safe operation of the batteries for electric vehicles (EVs). ...Since capacity and state of charge (SoC) are strongly correlated, the SoC is hardly to be accurately estimated without knowing accurate battery capacity. Thus, a multiscale dual H infinity filter (HIF) has been proposed to estimate battery SoC and capacity in real time with dual timescales in response to slow-varying battery parameters and fast-varying battery state. The proposed method is first evaluated and verified using off-line experimental data and then compared with the single/multiscale dual Kalman filters (KFs). The results show that the proposed multiscale dual HIFs has better robustness and higher estimation accuracy than the single/multiscale dual KFs. To further validate the feasibility of the proposed method for EV applications, a lithium-ion battery-in-the-loop approach is applied to verify the stability and accuracy of the SoC estimation, and it is found that the SoC estimated from the proposed method can converge to the reference value gradually and be stabilized within 2%.
An adaptive H infinity filter approach is proposed to estimate the multistates including state of charge (SOC) and state of energy (SOE) for a lithium-ion battery pack. In the proposed approach, the ...covariance matching technique is used to adaptively update the covariance of system and observation noises and the recursive least square method is used to identify the battery model parameters in real time. The hardware-in-the-loop (HIL) platform for battery charge/discharge is set up to evaluate the accuracy and robustness of the SOC and the SOE estimation and compare the proposed approach with the multistate estimators using an extended Kalman filter and an H infinity filter. The experimental results indicate that the adaptive H infinity filter-based estimator is able to estimate the battery states in real time with the highest accuracy among the three filters.
We show that an ∞-category M with a closed left action of a monoidal ∞-category V is completely determined by the V-valued graph of morphism objects resulting from closedness of the action equipped ...with the structure of a V-enrichment in the sense of Gepner-Haugseng. We prove a similar result when M is a V-enriched ∞-category in the sense of Lurie, an operadic generalization of the notion of ∞-category with closed action. Precisely, we prove that sending a V-enriched ∞-category in the sense of Lurie to the V-valued graph of morphism objects refines to an equivalence χ between the ∞-category of V-enriched ∞-categories in the sense of Lurie and of Gepner-Haugseng.
Moreover if V is a presentably k+1-monoidal ∞-category for 1≤k≤∞, we prove that χ restricts to a lax k-monoidal functor between the ∞-category of left V-modules in PrL, the symmetric monoidal ∞-category of presentable ∞-categories, endowed with the relative tensor product, and the tensor product of V-enriched ∞-categories of Gepner-Haugseng.
As an application of our theory we construct a lax symmetric monoidal embedding of the ∞-category of small stable ∞-categories into the ∞-category of small spectral ∞-categories. As a second application we produce an enriched Yoneda-embedding in the framework of Lurie's notion of enriched ∞-categories.
In a consideration set model, an individual maximizes utility among the considered alternatives. I relate a consideration set additive random utility model to classic discrete choice and the extended ...additive random utility model, in which utility can be \(-\infty\) for infeasible alternatives. When observable utility shifters are bounded, all three models are observationally equivalent. Moreover, they have the same counterfactual bounds and welfare formulas for changes in utility shifters like price. For attention interventions, welfare cannot change in the full consideration model but is completely unbounded in the limited consideration model. The identified set for consideration set probabilities has a minimal width for any bounded support of shifters, but with unbounded support it is a point: identification "towards" infinity does not resemble identification "at" infinity.
Enriched ∞-operads Chu, Hongyi; Haugseng, Rune
Advances in mathematics (New York. 1965),
02/2020, Letnik:
361
Journal Article
Recenzirano
Odprti dostop
In this paper we initiate the study of enriched ∞-operads. We introduce several models for these objects, including enriched versions of Barwick's Segal operads and the dendroidal Segal spaces of ...Cisinski and Moerdijk, and show these are equivalent. Our main results are a version of Rezk's completion theorem for enriched ∞-operads: localization at the fully faithful and essentially surjective morphisms is given by the full subcategory of complete objects, and a rectification theorem: the homotopy theory of ∞-operads enriched in the ∞-category arising from a nice symmetric monoidal model category is equivalent to the homotopy theory of strictly enriched operads.
Four conceptions of infinity Krátká, Magdalena; Eisenmann, Petr; Cihlář, Jiří
International journal of mathematical education in science and technology,
09/30/2022, Letnik:
53, Številka:
10
Journal Article
Recenzirano
The paper is the result of extensive research carried out among Czech students and focuses on a conception of infinity. The questionnaire survey was taken by 861 students ranging from grades 7 to 13. ...The aim of the research was to describe the development of students' conceptions of infinity. These conceptions are built on the intuitive phenomenon of the horizon. We monitor the proportional representation of these conceptions in four combinations of views (into the distance and in depth) and contexts (arithmetical and geometrical). It can safely be maintained that the development of the proportional representation of the earliest conception comprehension of the concept of infinity, the so-called natural infinity, is not concurrent with the students' age. The development of the proportional representation of the conception of actual infinity is non-decreasing, at least in the view into the distance, in both contexts with respect to age. In general, it can be stated that the proportional representation of individual conceptions of infinity is strongly dependent on both context and view.
For any d ≥ 1, random ℤd shifts of finite type (SFTs) were defined in previous work of the authors. For a parameter α ∈ 0, 1, an alphabet A, and a scale n ∈ ℕ, one obtains a distribution of random ℤd ...SFTs by randomly and independently forbidding each pattern of shape {1,..., n}d with probability 1 − α from the full shift on A. We prove twomain results concerning random ℤd SFTs. First, we establish sufficient conditions on α, A, and a ℤd subshift Y so that a random ℤd SFT factors onto Y with probability tending to one as n tends to infinity. Second, we provide sufficient conditions on α, A and a ℤd subshift X so that X embeds into a random ℤd SFT with probability tending to one as n tends to infinity.
Cover Image Chan‐eun Park; Kwon, Nam Kyu; Park, PooGyeon
International journal of robust and nonlinear control,
02/2021, Letnik:
31, Številka:
3
Journal Article
Recenzirano
The cover image is based on the Research Article New bounded real lemma for singular Markovian jump systems: Application to H∞ control by Chan‐eun Park et al., https://doi.org/10.1002/rnc.5340.
•A novel string stability criterion by dividing a mixed vehicular platoon into multiple interconnected sub-systems.•A practical string stability criterion for a mixed vehicular platoon over ...predominant acceleration frequency boundaries.•A new CAV control strategy incorporating human-driven vehicles’ car following characteristics.•A new CAV control strategy to stabilize mixed vehicular platoons with guaranteed feasibility.
This paper presents a car-following control strategy of connected automated vehicles (CAVs) to stabilize a mixed vehicular platoon consisting of CAVs and human-driven vehicles. This study first establishes a string stability criterion for a mixed vehicular platoon. Specifically, a mixed vehicular platoon is decomposed into “subsystems” that are all possible sequential subsets of the platoon. String stability is then defined as the “head-to-tail” string stability for all subsystems: the magnitude of a disturbance is not amplified from the first vehicle to the last vehicle of each subsystem. Based on this definition, distributed frequency-domain-based CAV control is proposed to increase the number of head-to-tail string stable subsystems and consequently dampen stop-and-go disturbances drastically. Specifically, an H-infinity control problem is formulated, where the maximum disturbance “damping ratios” in each subsystem is minimized within the predominant acceleration frequency boundaries of human-driven vehicles. Simulation experiments, embedded with real human-driven vehicle trajectories, were conducted, and results show that the proposed control can effectively dampen stop-and-go disturbances.