Sharif Digital Repository

Verification of timed systems is concerned by many researchers in the last decades because of using these systems in critical applications. So, several models such as Timed Automat (TA) and Time Petri Nets (TPN) have been proposed for modeling these systems and variety of logics and abstraction methods are defined. One of the significant problems in timed system is cost-optimal reachability problem where, given an initial state and a target state, the task is to comput a path with infimum cost from initial state to the target state. Priced Timed Automat (PTA) introduce for solving cost-optimal reachability problems such as optimal scheduling and planing in timed systems. PTA is defined as an... 

Game theory is widely used to model diverse phenomena in the real world such as people’s behavior in elections and auctions. It also has natural applications to some other areas such as computer networks, cryptography, and security. In this thesis, we present a general approach to model two important classes of optimization problems, namely, covering and packing problems, using game theory concepts. This model provides an integrated language to explain the problems, and enables us to use game-theoretic tools to further explore and analyze the problems. In our proposed model, the optimum solutions of the modeled problem are always one of the equilibria of the game. Therefore, one can find... 

Wind energy, as a type of renewable energy resource, is clean and is rapidly growing globally. The intermittency in the production of wind energy is the most major obstacle for these producers in a competitive electricity market, to compete with thermal units. Most existing models in the literature mitigate the risk of wind power, by coordinating them with energy storages such as pumped storages power plant. Here, in this thesis, another risk mitigation approach is introduced which combines wind energy and natural gas power plant in an electricity market. In addition, as the penetration level of wind power grows, the wind power producers must be considered as a price-maker player which their... 

One of the main tools of the developing quantum technology is making the desired quantum gates and processes in the presence of the environmental noises. In this thesis, we first derive a Markovian master equation which defines purely the time evolution of the dynamics (process matrix) of the open system rather than its state (density matrix). This master equation indeed describes the time evolution of the Choi-Jamiolkowsli matrix which is independent of the state of the system at all times including the initial state. The n, by using this master equation we provide a scheme to manipulate optimally and locally the dynamics of the open system by external coherent agents. Such scheme... 

In this research, we design a compatible waveform for the purpose of high-quality synthetic aperture radar (SAR) imaging in conjunction with sparse recovery methods for image formation. The goal is to make the imaging system tolerable against the wide-band and narrowband electromagnetic interferences. Actually, we consider minimizing the mutual interference between our radar and coexisting licensed emitters and minimizing the jamming signal (unlicensed emitters) power while enforcing some constraints over the waveform features like peak-to-average-power ratio (PAPR). For the constrained optimization problem to design a proper waveform, we introduce a new constraint to the optimization...