Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules

Elasticity and Petri nets

Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with communication handshakes (asynchronous version) or by augmenting the clock with a synchronous version of a handshake (synchronous version). Time elastic systems can tolerate static and dynamic changes in delays (asynchronous case) or latencies (synchronous case) of operations that can be used for modularity, ease of reuse and better power-delay trade-off. This paper describes methods for the modeling, performance analysis and optimization of elastic systems using Marked Graphs and their extensions capable of describing behavior with early evaluation. The paper uses synchronous elastic systems (aka latency-tolerant systems) for illustrating the use of Petri nets, however, most of the methods can be applied without changes (except changing the delay model associated with events of the system) to asynchronous elastic systems.Peer ReviewedPostprint (author's final draft

Zetasizer measurements of copolymer-drug carrier system: poly (maleic anhydrite-co-vinyl acetate) -acriflavine conjugate

3rd International Conference on New Trends in Chemistry -- APR 28-30, 2017 -- Helsinki, FINLANDCopolymeric drug carrier system, poly (maleic anhydrite-co-vinyl acetate) copolymer (MAVA) carrying acriflavine drug (AF) has been examined by Zeta Potential Analyzer to determine the stability and controlled drug release tests in water with different pHs and simulated body fluids. Zetasizer measurements such as zeta potential, mobility, and particle size of prepared copolymer, drug and copolymer-drug conjugate (MAVA-AF) were done. The activity of copolymer-drug conjugate in different pHs and simulated body fluids was checked via UV-VIS spectrophotometer as a function of time.Scientific Research Project Coordination Center of Yildiz Technical University, Turkey [2016-01-02-YL06]; Sciences Research Projects Foundation of Cumhuriyet University, (CUBAP) [F258]This work was supported by the Scientific Research Project Coordination Center of Yildiz Technical University, Turkey (Project no: 2016-01-02-YL06) and Sciences Research Projects Foundation of Cumhuriyet University, (CUBAP, Project No: F258)