Nonlinear Analysis-Hybrid Systems最新文献

英文中文

STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-01-29 DOI: 10.1016/j.nahs.2025.101576

Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile

This paper introduces an efficient optimization-based control synthesis methodology tailored for Signal Temporal Logic (STL) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP) for synthesis with both STL and wSTL formulae. We introduce efficient disjunction-centric encodings for STL and wSTL that capture both qualitative and quantitative semantics. This encoding minimizes the number of variables and constraints necessary to represent STL and wSTL formulae by efficiently handling conjunction operations (e.g., conjunction, always operators) and only introducing variables when disjunction operations are used (e.g., disjunction, eventually). Multiple case studies are conducted to demonstrate the proposed methodology’s operation and computational efficiency for the control synthesis with STL and wSTL specifications. While non-linear dynamics and predicates can be considered using piecewise linear functions, this work focuses on linear predicates and dynamics. We show how cost functions involving potentially conflicting objectives expressed in terms of states, controls, and satisfaction robustness impact the solutions to the control synthesis problem for STL and wSTL. We conduct a sensitivity analysis of weights used in wSTL formulae, offering detailed insights into how these weights modulate solutions for given formulae. Finally, the time performance of the disjunction-centric encodings for both STL and wSTL is compared against state-of-the-art frameworks, comprehensively evaluating their efficiency and practical applicability.

{"title":"STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach","authors":"Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile","doi":"10.1016/j.nahs.2025.101576","DOIUrl":"10.1016/j.nahs.2025.101576","url":null,"abstract":"<div><div>This paper introduces an efficient optimization-based control synthesis methodology tailored for Signal Temporal Logic (STL) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal operators along with satisfaction times. The proposed approach utilizes Mixed Integer Linear Programming (MILP) for synthesis with both STL and wSTL formulae. We introduce efficient disjunction-centric encodings for STL and wSTL that capture both qualitative and quantitative semantics. This encoding minimizes the number of variables and constraints necessary to represent STL and wSTL formulae by efficiently handling conjunction operations (e.g., conjunction, always operators) and only introducing variables when disjunction operations are used (e.g., disjunction, eventually). Multiple case studies are conducted to demonstrate the proposed methodology’s operation and computational efficiency for the control synthesis with STL and wSTL specifications. While non-linear dynamics and predicates can be considered using piecewise linear functions, this work focuses on linear predicates and dynamics. We show how cost functions involving potentially conflicting objectives expressed in terms of states, controls, and satisfaction robustness impact the solutions to the control synthesis problem for STL and wSTL. We conduct a sensitivity analysis of weights used in wSTL formulae, offering detailed insights into how these weights modulate solutions for given formulae. Finally, the time performance of the disjunction-centric encodings for both STL and wSTL is compared against state-of-the-art frameworks, comprehensively evaluating their efficiency and practical applicability.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101576"},"PeriodicalIF":3.7,"publicationDate":"2025-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144667","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Multiple circles formation-circumnavigation switching control around a nonstationary target

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-01-25 DOI: 10.1016/j.nahs.2025.101577

Bo Chen, Wei Zhu

In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.

{"title":"Multiple circles formation-circumnavigation switching control around a nonstationary target","authors":"Bo Chen, Wei Zhu","doi":"10.1016/j.nahs.2025.101577","DOIUrl":"10.1016/j.nahs.2025.101577","url":null,"abstract":"<div><div>In this study, the problem of multiple circles formation-circumnavigation switching control around a nonstationary target of multiple heterogeneous autonomous underwater vehicle (AUV) systems with intermittent communication among partial individuals is investigated. An intermittent communication-based two-layer control strategy is proposed, comprising finite time observers and finite time controller. Since the communication between individuals is intermittent and only partial AUVs can directly obtain partial information from the target, a distributed adaptive finite-time hybrid observer is designed to estimate the information of the target. Additionally, another observer is developed to estimate the state of cluster leader. Subsequently, based on geometric structure and variable substitution, a distributed finite-time multiple circles formation-circumnavigation switching controller is designed, using the estimated value as the reference signal. The controller enables smooth switching between formation and circumnavigation for multiple AUV systems in intermittent communication scenarios, which can effectively improve the economy and practicality of applications. A homogeneous technique is used to show that the control objective can be achieved in finite time under the proposed controller. Numerical simulations are conducted to illustrate the effectiveness of the proposed control strategy.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101577"},"PeriodicalIF":3.7,"publicationDate":"2025-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144666","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-01-16 DOI: 10.1016/j.nahs.2025.101575

Jung-Min Yang , Seong Woo Kwak

This article addresses a novel attack-resilient corrective control scheme for nondeterministic input/state asynchronous sequential machines (ASMs) vulnerable to actuator attacks. The considered actuator attack causes ASMs to undergo unauthorized state transitions in both fundamental and non-fundamental mode. In comparison with the case of deterministic ASMs, different control objectives and reachability conditions should be presented to fulfill complete attack detection and recovery. In the framework of corrective control theory with the state-burst feedback, we present the existence condition and design procedure for an attack-resilient corrective controller which harnesses nondeterminism in the machine’s operation. To demonstrate the superiority and applicability of the proposed control strategy, hardware experiments on field-programmable gate array (FPGA) circuits implementing a space-borne digital system are conducted and convincing experimental verifications are provided.

引用次数: 0

Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-01-09 DOI: 10.1016/j.nahs.2024.101571

Yushen Huang , Ertai Luo , Stanley Bak, Yifan Sun

In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast to previous methods, our approach is able to tightly capture the non-convexity of the reachable set. Building up on our main result, we show how our reachability algorithm can be extended to handle linear time-varying systems as well as linear systems with time-varying parameters. Moreover, our approach opens up new possibilities for reachability analysis of linear time-invariant systems, nonlinear systems, and hybrid systems. We compare our approach to other state of the art methods, with superior tightness on two benchmarks including a 9-dimensional vehicle platooning system. Moreover, as part of the journal extension, we investigate through a polynomial zonotope with special structure named multi-affine zonotopes and its optimization problem. We provide the corresponding optimization algorithm and experiment over the examples obtained from two benchmark systems, showing the efficiency and scalability comparing to the state of the art method for handling such type of set representation.

{"title":"Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes","authors":"Yushen Huang , Ertai Luo , Stanley Bak, Yifan Sun","doi":"10.1016/j.nahs.2024.101571","DOIUrl":"10.1016/j.nahs.2024.101571","url":null,"abstract":"<div><div>In real world applications, uncertain parameters are the rule rather than the exception. We present a reachability algorithm for linear systems with uncertain parameters and inputs using set propagation of polynomial zonotopes. In contrast to previous methods, our approach is able to tightly capture the non-convexity of the reachable set. Building up on our main result, we show how our reachability algorithm can be extended to handle linear time-varying systems as well as linear systems with time-varying parameters. Moreover, our approach opens up new possibilities for reachability analysis of linear time-invariant systems, nonlinear systems, and hybrid systems. We compare our approach to other state of the art methods, with superior tightness on two benchmarks including a 9-dimensional vehicle platooning system. Moreover, as part of the journal extension, we investigate through a polynomial zonotope with special structure named multi-affine zonotopes and its optimization problem. We provide the corresponding optimization algorithm and experiment over the examples obtained from two benchmark systems, showing the efficiency and scalability comparing to the state of the art method for handling such type of set representation.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101571"},"PeriodicalIF":3.7,"publicationDate":"2025-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2025-01-06 DOI: 10.1016/j.nahs.2024.101572

Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid , Michael Drmota

Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied digital input signals and where the only output signals are digital ones generated by comparing an internal state variable to a threshold value. An attractive feature of such systems is easy composition, which is facilitated by their purely digital interface. A particularly promising application domain of thresholded hybrid systems is digital integrated circuits: Modern digital circuit design considers them as a composition of Millions and even Billions of elementary logic gates, like inverters, OR and AND. Since every such logic gate is eventually implemented as an electronic circuit, however, which exhibits a behavior that is governed by some ODE system, thresholded hybrid systems are ideally suited for making the transition from the analog to the digital world rigorous.

In this paper, we prove that the mapping from digital input signals to digital output signals is continuous for a large class of thresholded hybrid systems. Moreover, we show that, under some mild conditions regarding causality, this continuity also continues to hold for arbitrary compositions, which in turn guarantees that the composition faithfully captures the analog reality. By applying our generic results to some recently developed thresholded hybrid gate models, both for single-input single-output gates like inverters and for a two-input CMOS NOR gate, we show that they are continuous. Moreover, we provide a novel thresholded hybrid model for the two-input NOR gate, which is not only continuous but also, unlike the existing one, faithfully models all multi-input switching effects.

{"title":"Faithful dynamic timing analysis of digital circuits using continuous thresholded mode-switched ODEs","authors":"Arman Ferdowsi , Matthias Függer , Thomas Nowak , Ulrich Schmid , Michael Drmota","doi":"10.1016/j.nahs.2024.101572","DOIUrl":"10.1016/j.nahs.2024.101572","url":null,"abstract":"<div><div>Thresholded hybrid systems are restricted dynamical systems, where the current mode, and hence the ODE system describing its behavior, is solely determined by externally supplied digital input signals and where the only output signals are digital ones generated by comparing an internal state variable to a threshold value. An attractive feature of such systems is easy composition, which is facilitated by their purely digital interface. A particularly promising application domain of thresholded hybrid systems is digital integrated circuits: Modern digital circuit design considers them as a composition of Millions and even Billions of elementary logic gates, like inverters, <span>OR</span> and <span>AND</span>. Since every such logic gate is eventually implemented as an electronic circuit, however, which exhibits a behavior that is governed by some ODE system, thresholded hybrid systems are ideally suited for making the transition from the analog to the digital world rigorous.</div><div>In this paper, we prove that the mapping from digital input signals to digital output signals is continuous for a large class of thresholded hybrid systems. Moreover, we show that, under some mild conditions regarding causality, this continuity also continues to hold for arbitrary compositions, which in turn guarantees that the composition faithfully captures the analog reality. By applying our generic results to some recently developed thresholded hybrid gate models, both for single-input single-output gates like inverters and for a two-input CMOS <span>NOR</span> gate, we show that they are continuous. Moreover, we provide a novel thresholded hybrid model for the two-input <span>NOR</span> gate, which is not only continuous but also, unlike the existing one, faithfully models all multi-input switching effects.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101572"},"PeriodicalIF":3.7,"publicationDate":"2025-01-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A Floquet–Lyapunov theory for nonautonomous linear periodic differential equations with piecewise constant deviating arguments

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2024-12-30 DOI: 10.1016/j.nahs.2024.101574

Ricardo Torres Naranjo

In this work, we introduce a version of the classic Floquet–Lyapunov theorem for

ω -

periodic nonautonomous linear differential equations with piecewise constant arguments of generalized type (IDEPCAG or DEPCAG). We demonstrate that the nonautonomous linear IDEPCAG is kinematically similar to an autonomous linear ordinary differential equation. Additionally, we provide explicit formulas for the Floquet normal form of the fundamental matrix of IDEPCAG nonautonomous linear systems. These are very useful for analyzing qualitative properties such as the stability and periodicity of the solutions, making the study of IDEPCAG systems more accessible. Finally, we have included examples to demonstrate the effectiveness of our results.

引用次数: 0

On (θ,T)-periodic solutions of abstract generalized ODEs and applications to Volterra–Stieltjes–type integral equations

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2024-12-27 DOI: 10.1016/j.nahs.2024.101573

M. Ap. Silva , E.M. Bonotto , R. Collegari , M. Federson , M.C. Gadotti

It is known that generalized ordinary differential equations (generalized ODEs for short) encompass other types of equations such as impulsive differential equations as well as dynamic equations on time scales. The present paper concerns the theory of

(θ, T)

-periodic solutions in the framework of generalized ODEs in Banach spaces. We exhibit necessary and sufficient conditions for a solution of a generalized ODE to be

(θ, T)

-periodic. Moreover, we develop the Floquet theory of homogeneous linear generalized ODEs and, as a consequence, we present a characterization of fundamental matrices for the finite dimensional case. As an illustration, we apply the main results to Volterra–Stieltjes–type integral equations.

引用次数: 0

Strategy optimization of controlled evolutionary games on a two-layer coupled network using Lebesgue sampling

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2024-12-20 DOI: 10.1016/j.nahs.2024.101570

Shihua Fu , Ling Li , Jun-e Feng

This paper studies the strategy optimization for a type of evolutionary games on coupled networks under sampled-data state feedback controls (SDSFCs) with Lebesgue sampling, which is more economical than traditional state feedback controls. Firstly, using the semi-tensor product of matrices, the algebraic expression of a controlled evolutionary game on a two-layer coupled network is established. Secondly, for a given Lebesgue sampling region, a necessary and sufficient condition is presented to detect whether each player’s payoff can ultimately remain at or above its own threshold, and the corresponding SDSFCs are designed. Furthermore, for a given signal of Lebesgue sampling, an approach is provided to obtain a desired sampling region, under which each player’s payoff always meets their threshold condition after a certain time. Finally, an illustrative example is provided to support our new results.

引用次数: 0

Finite bit rate stabilization of switched linear systems with bounded delay based on event-triggering control

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2024-12-10 DOI: 10.1016/j.nahs.2024.101567

Yihong Tang, Yuan Liu, Qiang Ling

This paper investigates the finite bit rate stabilization of a switched linear system whose feedback packets are transmitted through a communication network with bounded time-varying delays. The unknown network delay and mode switching cause unavoidable asynchronous modes between the sensor and the controller, and greatly complicate the stabilization of that system. To resolve these issues, an event-triggering mechanism and a quantization method with a finite bit rate are proposed to sample, quantize and transmit the feedback signals. Furthermore, state estimation updating methods are designed to eliminate the effects of time-varying delays on state estimation errors. We derive sufficient stabilizing conditions in terms of average dwell time and feedback bit rate through determining the convergence rates of the Lyapunov function at sampling instants under different switching scenarios. Simulations are presented to verify the effectiveness of the proposed strategies.

引用次数: 0

Measuring robustness in cyber-physical systems under sensor attacks

IF 3.7 2区计算机科学 Q2 AUTOMATION & CONTROL SYSTEMS

Nonlinear Analysis-Hybrid Systems

Pub Date : 2024-12-09 DOI: 10.1016/j.nahs.2024.101559

Jian Xiang , Ruggero Lanotte , Simone Tini , Stephen Chong , Massimo Merro

This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward distances, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulation distances by expressing them as modalities, i.e., formulas of differential dynamic logic, and develop an ad-hoc proof system to reason with such formulas. We showcase our formal notions and reasoning techniques on two non-trivial case studies: an autonomous vehicle that needs to avoid collision and a water tank system.

{"title":"Measuring robustness in cyber-physical systems under sensor attacks","authors":"Jian Xiang , Ruggero Lanotte , Simone Tini , Stephen Chong , Massimo Merro","doi":"10.1016/j.nahs.2024.101559","DOIUrl":"10.1016/j.nahs.2024.101559","url":null,"abstract":"<div><div>This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber–physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitative safety notions, quantitative forward and backward safety, which respectively express (1) how strong the strongest postcondition of the system is with respect to the specified postcondition, and (2) how strong the specified precondition is with respect to the weakest precondition of the system needed to ensure the specified postcondition holds. We introduce two notions, forward and backward robustness, to characterize the robustness of a system against sensor attacks as the loss of safety. To reason about robustness, we introduce two simulation distances, forward and backward simulation distances, which are defined based on the behavioral distances between the original system and the system with compromised sensors. Forward and backward distances, respectively, characterize upper bounds of the degree of forward and backward safety loss caused by the sensor attacks. We verify the two simulation distances by expressing them as modalities, i.e., formulas of differential dynamic logic, and develop an ad-hoc proof system to reason with such formulas. We showcase our formal notions and reasoning techniques on two non-trivial case studies: an autonomous vehicle that needs to avoid collision and a water tank system.</div></div>","PeriodicalId":49011,"journal":{"name":"Nonlinear Analysis-Hybrid Systems","volume":"56 ","pages":"Article 101559"},"PeriodicalIF":3.7,"publicationDate":"2024-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143144671","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

首页上一页

下一页尾页

类型

全部化学•材料生命科学医学物理工程技术环境•农林材料科学地球科学法学管理学化学环境科学与生态学计算机科学教育学经济学农林科学人文科学生物学数学物理与天体物理心理学综合性期刊其他工业工程理学历史学农学文学信息工程

数据库

全部 ACS Publications Elsevier ieeexplore Springer The Royal Society of Chemistry Wiley

期刊

Nonlinear Analysis-Hybrid Systems

全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.

﹀