Approximately symbolic models for a class of continuous-time nonlinear systems

Discrete abstractions have become a standard approach to assist control synthesis under complex specifications. Most techniques for the construction of discrete abstractions are based on sampling of both the state and time spaces, which may not be able to guarantee safety for continuous-time systems. In this work, we aim at addressing this problem by considering only state-space abstraction. Firstly, we connect the continuous-time concrete system with its discrete (state-space) abstraction with a control interface. Then, a novel stability notion called controlled globally asymptotic/practical stability with respect to a set is proposed. It is shown that every system, under the condition that there exists an admissible control interface such that the augmented system (composed of the concrete system and its abstraction) can be made controlled globally practically stable with respect to the given set, is approximately simulated by its discrete abstraction. The effectiveness of the proposed results is illustrated by a simulation example.Comment: Accepted by the 58th IEEE Conference on Decision and Control, Nic

Continuous-time control synthesis under nested signal temporal logic specifications

Signal temporal logic (STL) has gained popularity in robotics for expressing complex specifications that may involve timing requirements or deadlines. While the control synthesis for STL specifications without nested temporal operators has been studied in the literature, the case of nested temporal operators is substantially more challenging and requires new theoretical advancements. In this work, we propose an efficient continuous-time control synthesis framework for nonlinear systems under nested STL specifications. The framework is based on the notions of signal temporal logic tree (sTLT) and control barrier function (CBF). In particular, we detail the construction of an sTLT from a given STL formula and a continuous-time dynamical system, the sTLT semantics (i.e., satisfaction condition), and the equivalence or under-approximation relation between sTLT and STL. Leveraging the fact that the satisfaction condition of an sTLT is essentially keeping the state within certain sets during certain time intervals, it provides explicit guidelines for the CBF design. The resulting controller is obtained through the utilization of an online CBF-based program coupled with an event-triggered scheme for online updating the activation time interval of each CBF, with which the correctness of the system behavior can be established by construction. We demonstrate the efficacy of the proposed method for single-integrator and unicycle models under nested STL formulas.Comment: Link to accompanying code: https://github.com/xiaotanKTH/sTL

Optical Coherence Tomographic Finding in a Case of Macular Coloboma

PURPOSE: To report the optical coherence tomography (OCT) findings in a patient with unilateral macular coloboma. METHODS: A 12-year-old male was presented with macular coloboma in the left eye. The optical coherence tomography was performed with fluorescein angiography (FA). RESULTS: The OCT revealed the crater-like depression in the macula, demonstrating atrophic neurosensory retina, and an absence of retinal pigment epithelium and choroid in the lesion. FA showed hypofluorescence corresponding to the size of the lesion in both early and late frames without leakage of dye at any stage. CONCLUSIONS: The OCT can be beneficial to confirm the diagnosis of macular coloboma

WEBT and XMM-Newton observations of 3C 454.3 during the post-outburst phase. Detection of the little and big blue bumps

The blazar 3C 454.3 underwent an unprecedented optical outburst in spring 2005. This was first followed by a mm and then by a cm radio outburst, which peaked in February 2006. We report on follow-up observations by the WEBT to study the multiwavelength emission in the post-outburst phase. XMM-Newton observations on July and December 2006 added information on the X-ray and UV fluxes. The source was in a faint state. The radio flux at the higher frequencies showed a fast decreasing trend, which represents the tail of the big radio outburst. It was followed by a quiescent state, common at all radio frequencies. In contrast, moderate activity characterized the NIR and optical light curves, with a progressive increase of the variability amplitude with increasing wavelength. We ascribe this redder-when-brighter behaviour to the presence of a "little blue bump" due to line emission from the broad line region, which is clearly visible in the source SED during faint states. Moreover, the data from the XMM-Newton OM reveal a rise of the SED in the UV, suggesting the existence of a "big blue bump" due to thermal emission from the accretion disc. The X-ray spectra are well fitted with a power-law model with photoelectric absorption, possibly larger than the Galactic one. However, the comparison with previous X-ray observations would imply that the amount of absorbing matter is variable. Alternatively, the intrinsic X-ray spectrum presents a curvature, which may depend on the X-ray brightness. In this case, two scenarios are possible.Comment: 9 pages, 7 figures, accepted for publication in A&

Gravitational wave background from sub-luminous GRBs: prospects for second and third generation detectors

We assess the detection prospects of a gravitational wave background associated with sub-luminous gamma-ray bursts (SL-GRBs). We assume that the central engines of a significant proportion of these bursts are provided by newly born magnetars and consider two plausible GW emission mechanisms. Firstly, the deformation-induced triaxial GW emission from a newly born magnetar. Secondly, the onset of a secular bar-mode instability, associated with the long lived plateau observed in the X-ray afterglows of many gamma-ray bursts (Corsi & Meszaros 2009a). With regards to detectability, we find that the onset of a secular instability is the most optimistic scenario: under the hypothesis that SL-GRBs associated with secularly unstable magnetars occur at a rate of (48; 80)Gpc^{-3}yr^{-1} or greater, cross-correlation of data from two Einstein Telescopes (ETs) could detect the GW background associated to this signal with a signal-to-noise ratio of 3 or greater after 1 year of observation. Assuming neutron star spindown results purely from triaxial GW emissions, we find that rates of around (130;350)Gpc^{-3}yr^{-1} will be required by ET to detect the resulting GW background. We show that a background signal from secular instabilities could potentially mask a primordial GW background signal in the frequency range where ET is most sen- sitive. Finally, we show how accounting for cosmic metallicity evolution can increase the predicted signal-to-noise ratio for background signals associated with SL-GRBs.Comment: Accepted by MNRA

Challenging GRB models through the broadband dataset of GRB060908

Context: Multiwavelength observations of gamma-ray burst prompt and afterglow emission are a key tool to disentangle the various possible emission processes and scenarios proposed to interpret the complex gamma-ray burst phenomenology. Aims: We collected a large dataset on GRB060908 in order to carry out a comprehensive analysis of the prompt emission as well as the early and late afterglow. Methods: Data from Swift-BAT, -XRT and -UVOT together with data from a number of different ground-based optical/NIR and millimeter telescopes allowed us to follow the afterglow evolution from about a minute from the high-energy event down to the host galaxy limit. We discuss the physical parameters required to model these emissions. Results: The prompt emission of GRB060908 was characterized by two main periods of activity, spaced by a few seconds of low intensity, with a tight correlation between activity and spectral hardness. Observations of the afterglow began less than one minute after the high-energy event, when it was already in a decaying phase, and it was characterized by a rather flat optical/NIR spectrum which can be interpreted as due to a hard energy-distribution of the emitting electrons. On the other hand, the X-ray spectrum of the afterglow could be fit by a rather soft electron distribution. Conclusions: GRB060908 is a good example of a gamma-ray burst with a rich multi-wavelength set of observations. The availability of this dataset, built thanks to the joint efforts of many different teams, allowed us to carry out stringent tests for various interpretative scenarios showing that a satisfactorily modeling of this event is challenging. In the future, similar efforts will enable us to obtain optical/NIR coverage comparable in quality and quantity to the X-ray data for more events, therefore opening new avenues to progress gamma-ray burst research.Comment: A&A, in press. 11 pages, 5 figure

The brightest gamma-ray flaring blazar in the sky: AGILE and multi-wavelength observations of 3C 454.3 during November 2010

Since 2005, the blazar 3C 454.3 has shown remarkable flaring activity at all frequencies, and during the last four years it has exhibited more than one gamma-ray flare per year, becoming the most active gamma-ray blazar in the sky. We present for the first time the multi-wavelength AGILE, SWIFT, INTEGRAL, and GASP-WEBT data collected in order to explain the extraordinary gamma-ray flare of 3C 454.3 which occurred in November 2010. On 2010 November 20 (MJD 55520), 3C 454.3 reached a peak flux (E>100 MeV) of F_gamma(p) = (6.8+-1.0)E-5 ph/cm2/s on a time scale of about 12 hours, more than a factor of 6 higher than the flux of the brightest steady gamma-ray source, the Vela pulsar, and more than a factor of 3 brighter than its previous super-flare on 2009 December 2-3. The multi-wavelength data make a thorough study of the present event possible: the comparison with the previous outbursts indicates a close similarity to the one that occurred in 2009. By comparing the broadband emission before, during, and after the gamma-ray flare, we find that the radio, optical and X-ray emission varies within a factor 2-3, whereas the gamma-ray flux by a factor of 10. This remarkable behavior is modeled by an external Compton component driven by a substantial local enhancement of soft seed photons.Comment: Accepted for publication in ApJ Letters. 18 Pages, 4 Figures, 1 Tabl

Epidemiologic Characterization of Human Papillomavirus Infection in Rural Chaozhou, Eastern Guangdong Province of China

BACKGROUND: Human papilloma virus (HPV) infection was the main cause of cervical cancer. There were only a few reports and detailed data about epidemiological research of HPV infection in rural population of China. MATERIALS AND METHODS: The cervical cells of rural Chaozhou women were collected, and multiplex real time PCR was firstly performed to detect high-risk HPV (HR-HPV) infection, which could detect 13 types of HR-HPV (types 16, 18, 31, 33, 35, 39, 45, 51, 52, 56, 58, 59, and 68). Then, HPV-positive samples were typed by HPV GenoArray test. RESULTS: HR-HPV DNA was detected by multiplex real time-PCR in 3830 of 48559 cases (7.89%). There was a peak incidence in age of 55-60 years group, and a lower incidence in who lived in plain group compared with suburban, mountain and seashore group. 3380 cases of HPV positive sample were genotyped, 11.01% (372/3380) cases could not be classified, among the typed 3008 cases, 101 cases were identified without HR-HPV type infection, 2907 cases were infected with one HR-HPV type at least, the 6 most common HR-HPV types in descending order of infection, were type 52 (33.4%, 16 (20.95%), 58 (15.93%), 33 (9.94%), 68 (9.22%) and 18 (8.36%). The combined prevalence of HPV types 16 and 18 accounted for 28.52% of total infection. However, type 52 plus 58 presented 48.23% of total infection. 2209/2907 cases were infected with a single HPV type and 698/2907 cases were infected with multiple types, and multiple infection constituent ratio increased with age, with a peak incidence in age 55-60 years group. CONCLUSIONS: Our findings showed low prevalence of HPV vaccine types (16 and 18) and relatively high prevalence of HPV-52 and -58, support the hypothesis that the second-generation HPV vaccines including HPV-52 and -58 may offer higher protection for women in rural Guangdong Province

β-Carboline Alkaloids From the Deep-Sea Fungus Trichoderma sp. MCCC 3A01244 as a New Type of Anti-pulmonary Fibrosis Agent That Inhibits TGF-β/Smad Signaling Pathway

Pulmonary fibrosis is a scarring disease of lung tissue, which seriously threatens human health. Treatment options are currently limited, and effective strategies are still lacking. In the present study, 25 compounds were isolated from the deep-sea fungus Trichoderma sp. MCCC 3A01244. Among them, two β-carboline alkaloids, trichocarbolines A (1) and C (4) are new compounds. The chemical structures of these compounds were elucidated based on their HRESIMS, 1D and 2D NMR spectra, optical rotation calculation, and comparisons with data reported in the literature. Trichocarboline B [(+)- and (–)-enantiomers] had previously been synthesized, and this is its first report as a natural product. Their anti-pulmonary fibrosis (PF) activity and cytotoxicity were investigated. Compounds 1, 11, and 13 strongly inhibited TGF-β1-induced total collagen accumulation and showed low cytotoxicity against the HFL1 cell line. Further studies revealed compound 1 inhibited extracellular matrix (ECM) deposition by downregulating the expression of protein fibronectin (FN), proliferating cell nuclear antigen (PCNA), and α-smooth muscle actin (α-SMA). Mechanistic study revealed that compound 1 decreased pulmonary fibrosis by inhibiting the TGF-β/Smad signaling pathway. As a newly identified β-carboline alkaloid, compound 1 may be used as a lead compound for developing more efficient anti-pulmonary fibrosis agents