A non-blocking supervisory control problem to meet bounded time constraints for nondeterministic real-time discrete event systems (DESs) is addressed. To this end, notions of trace controllability and time controllability are introduced for the non-deterministic real-time DESs with respect to a timed language specification representing a bounded time constraint. The existence conditions of a no...

This paper discusses the usefulness of (max, +) algebra as a mathematical modelling framework for discrete event systems (DESs). A Max-Plus Algebra Toolbox developed at Lehrstuhl für Systemtheorie technischer Prozesse is presented. This software package is a set of functions to take advantage of the (max, +) algebra in the Matlab environment for rapid prototyping, design, and analysis of DESs. ...

Deep eutectic solvents (DESs) are formed by a hydrogen bond donor and an acceptor. The interactions between these two components significantly depress the melting temperature of mixture. DESs have been used as alternative for organic in various branches chemical industry. Many very hygroscopic water is known to change properties DESs, but there has neven systematic study performed on deliquesen...

Abstract. Deep eutectic solvents (DESs) are novel green with great potential in many industrial applications. Due to their high tunability, DESs can be synthesized and prepared into various concentrations by dilution water. This work revolutionises the determination of selected DESs’ water activity using inferencing respective freezing point depression. Using Hildebrand-Scott equation, depressi...

In clinical trials of highly selected patients, drug-eluting stents (DESs) decreased restenosis but not the rate of acute myocardial infarction (AMI) or death. Whether DES use has an affect on the rate of AMI or death in unselected patients is uncertain. Bare metal stents (BMSs) were placed in 1,164 consecutive patients in the year before the introduction of DESs. DESs were subsequently placed ...

Deep eutectic solvents (DESs) is a newly developed green solvent with low cost, easy preparation and regeneration. Because of its excellent solubility swelling effect in lignocellulose, it has received widespread attention recognition. In this study, choline-based deep (DESs)—choline chloride-urea (CC-U), choline chloride-ethylene glycol (CC-EG), chloride-glycerol (CC-G), chloride-lactic acid (...

A high-oil candlenut (Aleurites moluccana)-derived biodiesel was purified using new generation solvents called Deep eutectic (DESs) and physicochemical properties of the were assessed according to accepted international standards for (ASTM D6751; EN 14214). Binary ternary choline chloride-based DESs containing glycerol ethylene glycol as hydrogen bond donors synthesized. The results investigati...