ECE 600s

ECE 600 Analytical Methods for Electrical and Computer Engineering (0.50) LEC	Course ID: 014714
This course will discuss fundamental analytical methods required in Electrical and Computer Engineering. Topics include: linear differential equations; elementary linear systems; RLC circuits with engineering applications; numerical methods; basic statistics and optimization.

ECE 602 Introduction to Optimization (0.50) LEC	Course ID: 000764
Fundamental optimization techniques. Modelling. Shortest path. Network flow. Matching. Set packing, covering partitioning. Branch and bound. Cutting Planes, Dynamic programming. Search Heuristics. (Students will gain valuable background in optimization techniques that are applicable to a wide range of engineering problems. They will also gain experience using a state of the art optimizer, in solving an optimization problem of their own choice using techniques discussed in the course).

ECE 603 Statistical Signal Processing (0.50) LEC	Course ID: 000765
Optimum mininum mean-square error (MMSE) Wiener filtering. Parametric and non-parametric spectrum estimation. Eigenstructure-based frequency estimation. Statistical parameter estimation using maximum likelihood (ML), maximum a posteriori probability (MAP), minimum mean-square error (MMSE) and least squares (LS) methods. Adaptive signal processing using least-mean-squares (LMS) and recursive least-squares (RLS) approaches. Discrete-time Kalman filtering. Recommended background: ECE 316: Probability Theory/ECE 342: Signals and Systems/ECE413: Digital Signal Processing/ECE 604: Stochastic Processes.

ECE 604 Stochastic Processes (0.50) LEC	Course ID: 000766
Theory of random variables, vectors and processes. Conditional probabilities and expectations. Convergence of sequences of random variables. Markov chains in discrete and continuous time. Poisson processes. Basic renewal processes. Stationary random processes, correlation, and power spectra. Emphasis on problem solving using probabilistic approaches.

ECE 605 Queueing Systems (0.50) LEC	Course ID: 000767
Introduction to queueing theory, queueing models, performance measures, performance analysis and evaluations, Poisson arrivals and exponential service times, Little's formula, Markov and semi-Markov processes, birth-death processes, single server and multiserver queues, single stage and tandem networks, open and closed networks.

ECE 606 Algorithm Design and Analysis (0.50) LEC	Course ID: 013906
This is an introductory course on algorithms at the graduate level. It assumes familiarity with basic data structures such as lists, queues, trees and graphs, and emphasizes creativity in the design of algorithms, and rigorous analysis. Correctness (soundness and completeness) and efficiency (with respect to average-, best- and worst-case time and space) properties are considered in the context of algorithms for classes of problems such as optimization and decision problems. The course also gives insights into when a problem may be intractable, and how we may deal with intractability.


Antireq: ECE 406, SYDE 423, ECE 750 - Topic 15

ECE 607 Algebraic Fundamentals for Computation, Communication and Control (0.50) LEC	Course ID: 014294
Equivalence relations and congruences. Morphisms, semigroups and monoids. Groups: cyclic groups, subgroups and quotient groups. Rings: subrings, quotient rings, integral domains and fields. Partial orders, lattices and fixpoints of monotone operators.

ECE 610 Broadband Communication Networks (0.50) LEC	Course ID: 000768
This course is concerned with the fundamentals of broadband communication networks including network architecture, Switch fabrics, design methodology; traffic management, connection admission control (CAC), usage parameter control (UPC), flow and congestion control; capacity and buffer allocation, service scheduling, performance measures, performance modeling and queueing analysis.

ECE 611 Digital Communications (0.50) LEC	Course ID: 000769
Representation of bandpass signals and systems, modulation and demodulation for the additive white Gaussian noise channel, optimal demodulation for signals with random phase, noncoherent detection for binary and M-ary orthogonal signals, hard and soft decision decoding for linear codes, concatenated codes, performance of coded modulation systems, characterization of fading multipath channels, diversity techniques, performance of coded systems on fading channels, direct sequence and frequency hopped spread spectrum systems.

ECE 612 Information Theory (0.50) LEC	Course ID: 000770
An introduction to information measures, entropy, mutual information and information divergence, noiseless codes and the noiseless coding theorem, channel capacity for discrete and continuous channels, randomly chosen code words, the noisy coding theorem, error rate exponents, computational cut-off rate and its application to digital communications.

ECE 614 Communications Over Fading Dispersive Channels (0.50) LEC	Course ID: 000772
Overview of mobile communications, characterization and modeling of wireless fading dispersive channels, optimum receiver structure, transmission performance in fading channels, diversity and performance improvement, co-channel interference, spread spectrum and multiple access, capacity analysis in cellular environments.

ECE 617 Data Compression with Applications to Speech and Image Coding (0.50) LEC	Course ID: 000774
This course consists of three parts: Part 1 will be concerned with the definitions of entropies as information measures and the derivation of the rate distortion function of Gaussian sources, which will form the basis for performance comparison. Part 2 will discuss the derivations, design and performance of certain compression techniques, including dpcm/entropy coding, predictive coding, linear predictive coding (LPC), adaptive predictive coding (APC), vector quantization, and tree and trellis coding. Part 3 will consider applications of compression techniques to speech and image processing.

ECE 621 Computer Organization (0.50) LEC	Course ID: 000777
Organization of high performance digital computers, high speed arithmetic algorithms, control unit and data flow organization. Pipeline systems. Stack machines, associative processors, parallel processors. Performance evaluation.

ECE 627 Register-transfer-level Digital Systems (0.50) LEC	Course ID: 014410
Syntax, semantics, and usage of the VHDL hardware description language. Modeling concurrency in VHDL, in other hardware description languages, and using other simulation techniques. Modeling, design, and implementation at the register-transfer level. Functional verification techniques. Timing analysis. Introduction to power analysis and optimization. Introduction to faults and testing.

ECE 628 Computer Network Security (0.50) LEC	Course ID: 000780
Evolution of computer security. Types of security threats, hardware threats, software threats, physical threats, cryptanalysis. The theory of secure message passing. Methods of encryption, private networks, Data Encryption Standard, Public Key Cryptosystems. Secrecy and Privacy in a network environment, long haul networks, local area networks. Protocols for computer network security.

ECE 630 Physics and Models of Semiconductor Devices (0.50) LEC	Course ID: 014299
Basics of semiconductor physics. Physical principles and operation of p-n junctions, metal/semidconductor contacts, MOS capacitors, MOS field-effect transistors, and related optoelectronic devices. Short-channel MOSFETs, modern MOSFETs, and future transistor technologies. Introduction to device simulators and SPICE models.

ECE 631 Microelectronic Processing Technology (0.50) LEC	Course ID: 000783
Sources and purification of materials, crystal structure, diffusion, oxidation, ion implantation, alloying expitaxy, impurity profiling methods, metallisation, photo lithography. Technologies for VLSI.

ECE 632 Photovoltaic Energy Conversion (0.50) LEC	Course ID: 000784
Physical source of solar radiation; direct & diffuse radiations; review of electronic materials; semiconductor concepts; optical absorption; generation and recombination processes in semiconductors; operating principles of photovoltaic devices; homo- and hetero- junction devices; equivalent circuits; quantum efficiency; current-voltage characteristics; Efficiency limits in photovoltaic devices; short circuit current and open circuit voltage losses; temperature effect; material-imposed limits; theoretical and practical limits; Photovoltaic device design and fabrication; silicon-based devices; gallium arsenide devices; thin film devices; device simulation; fabrication technologies; Advanced photovoltaic concepts; nano-structure and organic PV devices; System-level photovoltaics; module structure and design; back-end electronics; stand-alone and grid-interactive systems; photovoltaic hybrid systems.
Instructor Consent Required
Prerequisites: ECE 209 and 231or Instructor's consent.

ECE 636 Advanced Analog Integrated Circuits (0.50) LEC	Course ID: 000788
Design of MOS and bipolar analog integrated circuits at the transistor level, with an emphasis on the design of single-stage and multi-stage op amps. Related topics include biasing, compensation and noise will be covered. In addition, higher level analog and mixed analog/digital subsystems will be discussed, time permitting. Students enrolling in this course are expected to have a background equivalent to the material covered in ECE 242, formerly ECE 332.

ECE 637 Digital Integrated Circuits (0.50) LEC	Course ID: 000789
Design of CMOS digital integrated circuits at the transistor level. Related topics include MOSFET switch and 1-V models, logic gate design, transistor sizing, interconnect parasitics, gate delay, timing design, logical effort, static and dynamic logic families, arithmetic structures, latch and flip-flop elements, memory cells and arrays, and input/output circuitry. Students enrolling in this course are expected to have a background equivalent to the material covered in ECE 242, formerly ECE 332.

ECE 638 Semiconductor Microtransducers (0.50) LEC	Course ID: 010649
Overview of basic physical processes in semiconductors and their interactions with thermal, radiant, mechanical, or chemical input signals. Review of microtransducer materials and technologies. Principles and operation of integrated thermal sensors (thermistors, thermopiles, active IC elements, pyroelectric devices), radiant sensors (optoelectronic, infrared and radiation sensors), magnetic sensors (Hall devices, magnetoresistors, magnetotransistors), (mu)mechanical sensors (piesoelectric and peizoresistive devices, flow sensors and resonant structures), chemical sensors (ion, gas and humidity sensors, CHEMFETs, biosensors, SAW devices), and micro-actuators ((mu)valves, (mu)pumps, (mu)motors). Overview or pertinent interface and modelling techniques.

ECE 639 Characteristics & Applications of Amorphous Silicon (0.50) LEC	Course ID: 010650
Growth and structure of amorphous silicon (morphology, growth mechanisms, silicon bonding structure, continuous random network, hydrogenation). Electronic states in amorphous silicon (density of states, band tails, optical transitions, defects and defect states). Doping of amorphous silicon, defect reactions and metastable effects. Electronic transport and recombination in amorphous semiconductors. Using amorphous silicon in practice (contacts and surfaces). Applications of amorphous silicon (Schottky diodes, solar cells, optical and radiation sensors, thin film transistors, flat panel displays, large-area electronics).

ECE 644 Computer Aided Circuit Analysis and Design (0.50) LEC	Course ID: 000790
Formulation of equations for arbitrary circuits, active network analysis; sensitivity calculations in the frequency domain; simple integration methods for time domain solution; numerical laplace inversion for transient solution of linear lumped and distributed networks; solution of nonlinear circuits; detailed time domain solution of nonlinear networks; simulation of switched networks in time domain; introduction to switched capacitor networks; iterative simulation methods.

ECE 647 Althorithms for Physical Design of Digital Integrated Circuits (0.50) LEC	Course ID: 000792
An introduction to the problems and algorithms that arise during the Computer-Aided Design (CAD) of digital circuits. Course emphasis is on the backend of the CAD flow such as algorithms for solving problems including: technology mapping, partitioning, floor-planing, clustering, placement, routing and physical synthesis.

ECE 650 Methods and Tools for Software Engineering (0.50) LEC	Course ID: 014715
Software Systems - Systems programming and operating systems, scripting, system calls, libraries, compilers and interpreters. Mathematical logic - propositional & predicate logic, and some higher-order logics, syntax, semantics, entailment, deduction, use of logic in software. Data structures - lists, stacks, queues, heaps, trees, graphs, and algorithms to manipulate such data structures. Graduate students who have previously taken ECE 750 with the topic title Methods and Tools for Software Engineering are not eligible to take ECE 650.

ECE 651 Foundations of Software Engineering (0.50) LEC	Course ID: 000794
Fundamentals of software requirement analysis, software development as an engineering activity, basic process models, software specifications, modularity, cohesion, coupling, encapsulation, information hiding, principles of object oriented design, software project management, quality assurance and control. Priniciples of Software Architecture: Fundamental software architecture styles, synchronous & as synchronous communication of software components. Languages for software design specification: UML (class diagrams, sequence diagrams, collaboration diagrams, state diagrams). Overview of verification and validation techniques. Maintenance, evolution and reengineering, configuration management. Software metrics, quality assurance, fundamental cost and effort prediction models. Trends in software engineering (e.g., model-driven development, agile approaches).

Antirequisites: ECE 355, 451, 452

ECE 652 Parallel Programming (0.50) LEC	Course ID: 000795
Concurrent and parallel programming languages, programming languages for array and vector processors, shared memory and message passing paradigms, distributed processing paradigms, synchronization, semaphores, monitors, rendezvous, remote procedure calls.

ECE 653 Software Testing, Quality Assurance and Maintenance (0.50) LEC	Course ID: 000796
Introduces students to systematic testing of software systems. Software verification, reviews, metrics, quality assurance, and prediction of software reliability and availability. Students are expected to have programming experience with reading and writing code for large projects.

ECE 654 Software Reliability Engineering (0.50) LEC	Course ID: 014295
The course consists of two related parts. The first part deals with the engineering of reliable software. It introductes basic software reliability concepts, descritbes relevant models and discusses processes for engineering of reliable software, including schemes and patterns for the design of reliable and fault tolerant software. The second part addresses development of secure software. It presents key software security concept, techniques and models, overviews major software security vulnerabilities and their exploitation, and considers processes for development of secure software.

ECE 655 Protocols, Software and Issues in Mobile Systems (0.50) LEC	Course ID: 014296
This course is concerned with the architecture, protocol and software aspects of mobile systems. The topics to be discussed include mobile communication and computing systems, supporting ad hoc networks, mobile network and transport layers, wireless application protocol, support for mobility, service advertisement and discovery in mobile systems, and emerging issues such as enviornment-aware software and low-power protocols and software.

ECE 656 Database Systems (0.50) LEC	Course ID: 014297
This course covers data models, file systems, database system architectures, query languages, integrity and security and database design. Students attending this course should have at least a 4A level Electrical Engineering or Computer Engineering background.

ECE 657 Tools of Intelligent Systems Design (0.50) LEC	Course ID: 014298
Conventional approaches for tackling complex systems are usually implemented under the assumption of a good understanding of the process dynamics/functionalities and its operating environment. These techniques fail, however, to provide satisfactory results when applied to ill-defined processes (for which analytical and experimental modeling may not be easily obtained) that may operate in unpredictable and possibly noisy environment. Recent developments in the area of intelligent systems and soft computing have presented powerful alternatives for dealing with the behavior of this class of systems. This course outlines fundamentals of soft computing based design approaches using such tools as approximate reasoning, fuzzy inferencing, neural networks, evolutionary algorithms, and neuro-fuzzy systems. Fundamentals and advances on these procedures are outlined along with their potential applications to various real world applications in virtually most fields of engineering including pattern recognition, system planning, classification, power generation, intelligent transportation, systems and control, intelligent mechatronics, optimization, communication, robotics and manufacturing, to name a few.

ECE 658 Component Based Software (0.50) LEC	Course ID: 014300
Building large-scale and complex software systems from available parts with the goal of increasing return on investment, decreasing time to market, and assuring quality and reliability. The course covers the basic software component concepts, overview of advanced topics on software components and component-based software engineering from research and practice.

ECE 661 HVDC and FACTS (0.50) LEC	Course ID: 000797
Application of state-of-the-art high power electronics to power transmission and distribution systems. The emphasis will be on three important application areas - high voltage direct current (HVDC) transmission systems, flexible AC transmission Systems (FACTS) and Custom Power devices. The course addresses FACTS controllers including: static synchronous compensators (STATCOM), static synchronous series compensators (SSSC), interphase power flow controllers (IPFC) and unified spower flow controllers (UPFC). Custom power devices such as shunt DSTATCOM, series compensating DVR and unified power quality conditioners (UPQC) are also discussed. This course will concentrate on the operating principles, models, and control and performance of power electronic systems used in these applications. Background required - ECE 463 or equivalent.

ECE 662 Power Systems Analysis and Control (0.50) LEC	Course ID: 000798
The definitions and concepts associated with short circuit, power flow and stability analysis are presented and discussed. Models, techniques and tools used for these types of studies are discussed with a practical perspective, and applied to the comprehensive analysis of a typical test system. Controls and protections for voltage, angle and frequency control and regulation, such as Automatic Voltage Regulators (AVR), Power System Stabilizers (PSS) , Automatic Generation Control (AGC), under-voltage and under-frequency relays, are also studied and applied.

ECE 663 Energy Processing (0.50) LEC	Course ID: 000799
This course is intended to embrace power electronic aspects together with the broader issues of the systems of energy processing for emerging technologies. Within this framework, topics include performance, selection and optimization of power semiconductor devices including thyristors, GTOs, triacs, BJTs, MOSFETs, IGBTs and MCTs; classification, circuits and performance of converting circuits including rectifiers, inverters, choppers and cycloconverters; control and protection of conversion circuits; requirements and constraints of energy processing systems such as variable speed drives, high energy battery installations, transportation, solar and wind generators and industrial processes.

ECE 664 Power System Components nad Modeling (0.50) LEC	Course ID: 000800
The basic structure, functional characteristics and protection schemes of the main components that make up a power system are studied, in particular generators, transformers, transmission lines, cables, loads, HVDC and FACTS controllers. Models of these components for detailed electromagnetic transient analysis and phasor-based studies such as power flow and stability studies are discussed in detail, and various models are compared and validated through simulations performed with commercial software packages. Required Background - ECE 631 or equivalent.

ECE 665 High Voltage Engineering Applications (0.50) LEC	Course ID: 010651
This course deals with the new emerging technology in high voltage engineering. It is divided into five parts. The first part of the course in a review of the basic fundamentals of high voltage engineering. The second part deals with the new techniques in partial discharge measurements. The third part of the course deals with measurements of charge distribution in solid dielectric. The fourth part of the course discusses the optical fiber based monitoring techniques of the high voltage high power equipment. The last part of the course deals with the application of high voltage engineering in power systems.

ECE 666 Power Systems Operation (0.50) LEC	Course ID: 000801
The course deals in details of power system operation in the context of restructured electricity markets. Basics of power system operation - economic load dispatch, concept of marginal cost, Kuhn-Tucker's conditions of optimum, unit commitments, hydro-thermal coordination, optimal power flow analysis and security constrained economic dispatch are introduced. On the topic of transmission open access, the course discusses transmission pricing paradigms and the role of distribution factors in pricing. Transmission operations cover congestion management methods and firm transmission rights. Ancillary services procurement and pricing and power system security are discussed. Background - ECE 467 or equivalent.


Antireq: ECE 760 Topic 4 and Topic 6

ECE 667 Sustainable Distributed Power Generation (0.50) LEC	Course ID: 000802
This course covers topics related to sustainable and clean energy resources; distributed generation and utility interfacing. The following topics are covered: Wind power generators; construction; operation theory, modeling and analysis. Wind turbine interfacing techniques with the grid. Photovoltaic energy sources; construction, modeling, loading characteristics and interfacing requirements. Fuel cells; types, construction, modeling and characteristics, operation theory and interfacing requirement. Distributed generation concept; Barriers to DG interfacing; Reactive power control applications using the DG interfacing; Ancillary services supplied by DG. System protection requirements with DG.
Instructor Consent Required

ECE 668 Distribution System Engineering (0.50) LEC	Course ID: 000803
This course covers the following topics in distribution engineering: Load Characteristics and distribution system load forecasting; Distribution system planning; Distribution system automation; Design and application of distribution transformers; Design and optimal operation of sub-transmission lines and distribution systems; Distribution system voltage regulation; Reactive power control for distribution systems; Application of capacitors to distribution systems; Calculation of voltage drops in lateral distribution systems; Calculation of power losses in distribution systems; Introduction to distribution system protection. Background Required - basic knowledge of power system operation and analysis.


Antireq: ECE 765

ECE 669 Dielectric Materials (0.50) LEC	Course ID: 000804
Selected topics from theory of solid insulation breakdown. Conduction process in insulating liquids. Hydro dynamic processes. Theories of breakdown due to gaseous inclusion, moisture inclusion and particle contamination. Kinetic theory of gases. Breakdown mechanism in uniform electric fields. Corona and breakdown in non-uniform electric fields. Compressed gas insulation.

ECE 671 Microwave and RF Engineering (0.50) LEC	Course ID: 000805
Fundamentals of microwave and RF circuit analysis, design and measurements; Generalized transmission line analysis; S-parameters; Coupler and filter design; Diode-detectors, and mixers; Low-noise and power amplifiers, oscillators; Computer aided design of RF circuits.

ECE 672 Optoelectronic Devices (0.50) LEC	Course ID: 000806
Overview of optical properties of semiconductors and elements of plane wave propagation, theory and design of light emitting diodes, laser diodes, and detectors, optical spectra and transitions, spontaneous and stimulated emission, population inversion, carrier and optical confinements in heterostructures, quantum-well lasers, optoelectronic detectors, bandgap engineered graded structures, staircase type or superlattice structures for detectors, detailed quantum efficiency calculations and detector noise considerations, Introduction to monolithic integrated circuits.

ECE 675 Radiation & Propagation of Electromagnetic Fields (0.50) LEC	Course ID: 000809
Mathematics of time varying electromagnetic fields, linear antennas self and mutual impedance, aperture antenna, wave diffraction theory, geometrical theory of diffraction (GTD).

ECE 678 Fourier Optics and Optical Signal Processing (0.50) LEC	Course ID: 000810
Analysis of two-dimensional linear systems, Scalar diffraction theory, Fourier transforming properties of lenses, Frequency analysis of optical imaging systems, Spatial filtering and optical information processing, Synthetic Aperture Radar (SAR) - data processing, Wavefront-reconstruction.

ECE 682 Multivariable Control Systems (0.50) LEC	Course ID: 000811
An introduction to control theory for linear time-invariant finite-dimensional systems from both the state-space and input-output viewpoints. State-space theory: the concepts of controllability, observability, stabilizability, and detectability; the pole-assignment theorem; observers and dynamic compensation; LQR regulators. Input-output theory: the ring of polynomials and the field of rational functions; the algebra of polynomial and rational matrices; coprime factorization of transfer matrices; Youla parametrization, introduction to optimal control.

ECE 683 System Identification (0.50) LEC	Course ID: 000812
Estimation theory, linear and nonlinear regression, numerical techniques for parameter estimation for static and dynamic models, the Kalman filter and extensions, stochastic approximation, empirical dynamic models - especially for linear sampled data systems with stochastic inputs.

ECE 686 Filtering and Control of Stochastic Linear Systems (0.50) LEC	Course ID: 000814
This is a course on continuous-parameter state estimation and control for stochastic linear systems. It is based on a single unifying theme, namely that state estimation in linear systems is equivalent to projection onto a closed linear subspace generated by an observation process in a Hilbert space of random variables. This formulation of state estimation leads to the innovations theorem of Kailath, and this in turn has a number of corollaries of considerable practical importance, such as the Kalman-Bucy filtering formulae and the Rauch-Tung-Striebel prediction formulae which are much used for example in problems of inertial guidance and control in aerospace, in stochastic optimal control, and (more recently) in econometrics.

ECE 687 Robot Dynamics and Control (0.50) LAB,LEC,TUT	Course ID: 004816
(Cross-listed with ECE 486)
Homogeneous transformations. Kinematics and inverse kinematics. Denavit-Hartenberg convention. Jacobians and velocity transformations. Dynamics. Path planning, nonlinear control. Compliance and force control. [Offered: S]

ECE 688 Nonlinear Systems (0.50) LEC	Course ID: 000815
Equilibrium points, linearization; second order systems; contraction mapping principle; existence and uniqueness of solutions to nonlinear differential equations; periodic solutions; Lyapunov stability; the Lure problem; introduction to input-output stability, introduction to nonlinear control techniques.

ECE 700s

ECE 700 Special Topics in Electrical and Computer Engineering (0.50) LEC	Course ID: 010652


1 Opt-based Appr Solv Hard Probl
2 Intro to Optimization
3 Algebraic Fundamentals
4 Analytical Methods for ECE

ECE 710 Special Topics in Communications and Information Theory (0.50) LEC	Course ID: 010653


1 Wavelets in Signal Processing
2 Wireless Communication Network
3 Spread Spectrum Communications
4 Sequence Design and Crypt
5 Algebraic Coding Theory
6 Photonic Networking
7 Space-Time Coding for Wire Com
8 Medical Imaging
9 Dielectric Materials
10 Satellite Sys-Design & Applctn
11 Estimation & Detection Theory
12 Network Inform Theory
13 Image Procsng & Visl Commnictn
14 Anlys & Estmatn of sgnls & Img
15 Network Coding Theory
16 Digital Signal Processing
17 Multiresolution Anlys & Appl
18 Advanced Topics in Networking
19 Markov Mdls & Rndom Algorithms
20 Lattices Apps in Digital Comm
21 Communication Security

ECE 720 Special Topics in Computers and Digital Systems Software (0.50) LEC	Course ID: 010654


1 Multiproc & Parall Proc Struc
2 Cryptographic Computations
3 Computer Networks
4 Innov: Microprocessor Design
5 Cyber-Physical Systems

ECE 725 Computer-Aided Verification (0.50) LEC	Course ID: 011295
(Cross-listed with CS 745)
Application of formal methods to the verification of computer-based systems. Algebraic and automata preliminaries. Temporal logic and model checking. Decision procedures. Mechanized theorem proving. Advanced topics chosen by the instructor.

ECE 730 Special Topics in Solid State Devices (0.50) LEC,RDG	Course ID: 000827


1 Semiconductor Physics
2 Low Volt CMOS/BiCMOS VLSI
3 Semiconductor Characterization
4 Large Area Thin Film Electron
5 Advanced Analog Int Circuits
6 Single-Chip Imaging Systems
7 RFIC Technology
8 RF Systems and Circuits
9 VLSI Quality, Reliability Eng
10 Adv Tech for Semi Proc
11 Phy & Mod Semi-cond Dev
12 Low-Voltage SOI CMOS VLSI
13 Nanoelectronics
14 Microsystems Technology
15 High-Performance CMOS Circuits
16 Embedded Semiconductor RAM
17 Phys&Mod of Semiconductor Dev
18 Organic Electronics
19 Magnetism and Spintronics
20 Physics of Nanodevices
22 Digtl Imaging Circuits & Tech
23 Intro to Magnetoelectronics
24 Fab Nanoscale: Tech & Appls
25 Microfluidic & Nanobiotech Sys
26 MBE and Quantum Nano Devices
27 Printed Flexible Electronics
28 Physics of Nanoscale Devices
29 Computational Nanoelectronics
30 Advanced VLSI Devices

ECE 731 CCD Image Sensors (0.50) LEC	Course ID: 000828
As the cost of computing decreases at a phenomenal rate, the use of large format CCD area image sensors increases. Applications of CCD image sensors include industrial such as web inspection, document scanning, manufacturing product inspection for quality and process control, manufacturing product sorting and many other industrial applications. Multimedia and computers increasingly use their CCD image sensors or active pixel CMOS type image sensors. This course will start with the basic theory of CCD image sensors and graduate to CMOS type solid state image sensors. It will concentrate on the state of the art of this field and will deal with the basic device theory, the circuit design and architectures. Photosensitivity, noise, modulation transfer function and other aspects of spatial resolution will be covered. Related Background: E&CE semiconductor and circuit undergraduate courses.

ECE 738 Low Power VLSI Circuits for Wireless Communication (0.50) LEC	Course ID: 000836
This course covers the system level design of integrated circuits for wireless transceivers. Specific mixed analog/digital circuits such as: mixers, A/D and D/A converters (Nyquist rate and oversampled) for IF digitizing as well as switched capacitor filters for IF and baseband processing will be studied. Related Background: Basic knowledge of Analog Integrated Circuits.

ECE 740 Special Topics in Electronic Circuits (0.50) LEC	Course ID: 000839

ECE 741 AHDL Modeling of Circuits and Systems (0.50) LEC	Course ID: 010300
The separation of models from the simulation engine. The interaction of models and the simulation engine. Basics of a simulation engine. Mathematical tools for modeling. Modeling using modern Analog Hardware Description Languages (AHDLs). AHDL applications to: large circuit simulation, efficient model development/verification, specialized simulators.

ECE 750 Special Topics in Computer Software (0.50) LEC,RDG	Course ID: 010655


1 Methods Software Req Eng
2 Software Reliability Eng
3 Software Re-Engineering
4 Prot, Soft, Iss Mob Systems
5 Dist.&Ntwrk Centric Computing
6 Pervasive Computing
7 Software Syst Family Program
8 Meta Programming Systems
9 Generative Software Dvlpmnt
10 Distributed Computing
11 Component-based Software
12 Machine Intelligence
13 Core Algorithms&Data Structure
14 Generative Software Design
16 Tools of Intellgnt Systm Dsgn
17 Data & Knwldg Mdelling & Anlys
18 Database Systems
20 Static Analysis for Softwr Eng
21 Inllgnt Snsrs&Wrlss Snsr Ntwrk
22 Dist Real-time Software Sys
23 Topics in NeuroComputing
24 Bug Detection and Tolerance
25 Real-time Embedded Software
26 Methods&Tools for Software Eng
27 Computer Security
28 Computer Aided Reasoning 4 SE

ECE 752 Software Architecture & Design (0.50) LEC	Course ID: 000844
Advanced study of software design and architecture; representation of architecture/design; software design methods; patterns in software design; analysis, assessment, verification and quality control for software design; case studies, current research issues and challenges. Related Background: Basic exposure to programming using C or C++, previous graduate or undergraduate course in software specifications, or software engineering should be sufficient.

ECE 753 Parallel and Distributed Systems (0.50) LEC	Course ID: 000845
Models for concurrent programming; data programming; data parallel models for SIMD and MIMD computers; explicit, semiautomatic, and automatic approaches; data parallel compilers; software engineering issues such as program and data partitioning; task mapping and scheduling, concurrent program design, testing and debugging of concurrent programs, performance tuning, etc. Related Background: Basic exposure to programmin using C or Fortran, previous graduate or undergraduate course in operating system or concurrent programming would be helpful.

ECE 754 Software Bug Detection and Tolerance (0.50) LEC	Course ID: 014597
This course discusses a broad range of techniques in reducing the negative impact of software bugs to improve software reliability and security. Main topics include: fundamental concepts of software reliability and security, software bug detection and diagnosis, software bug tolerance and recovery, and text analytics.

ECE 755 Safety-critical Real-time Embedded Software (0.50) LEC	Course ID: 014598
This course covers the concepts and theory required to understand, design, program, and analyze safety-critical software-intensive real-time systems (and how you get the most out of your deadline-constrained life). The course specifically covers the following topics: challenges and problems of modern embedded software, building blocks of embedded systems, software modeling and design, UML, UML/MARTE, the scheduled model, the synchronous model, worst-case execution time analysis, real-time scheduling theory, interrupt handling for real-time systems, safety analysis and argumentation, and system performance measurement and evaluation.

ECE 760 Special Topics in Power Systems and High Voltage Engineering (0.50) LEC	Course ID: 010656


1 Power System Protection
2 Appl of Art Int to Pow Sys
5 Power Sys Model & Stab Analy
7 Power Electronic Converters
8 Electro/Comp Power Systems
9 Dielectrics & Elect Insulation

ECE 768 Power System Quality (0.50) LEC	Course ID: 013907
This course addresses all the dimensions of Power Quality (PQ) issues including mitigation strategies. The focus is mainly on qualitative concepts and comprehensive coverage. This course introduces PQ definitions, limitations, related international standards and mathematical techniques for PQ analysis of Power Systems. Different identification, localization and classification techniques for PQ problems will be investigated. The various kinds of PQ problems and their effects on load/system equipment will be looked at in detail. Mitigation strategies like passive filtering, active and hybrid power filtering, static VAT compensation, DVR, UPQC, etc. will be investigated. Areas covered include voltage sags, interruptions, transients, flickers, harmonics and modeling and simulation of utility systems. Grounding imperfection as a major cause for PQ problems will be addressed in detail. Moreover, the requirements and impacts of distributed generation (DG) on network power quality will be studies in detail. Effects of DG on voltage regulation, relaying losses, islanding and standards will be examined. Background Required - Basic understanding of modeling of power system elements and analysis techniques. Familiarity wit a programming language and/or a simulation package such as EMTDC/PSCAD and MATLAB is desirable.


Antireq: ECE 760 - Topic 3

ECE 770 Special Topics in Antenna and Microwave Theory (0.50) LEC,TUT	Course ID: 000856


1 Microwave Engineering
2 Co Theo Sig Proc Ant Sys
3 Adv Top in Optoelectronics
4 Comp Meth for Eng Electro
5 App High Temp Superconduc
6 Photonic Com Sys & Devices
7 Micro Filters for Cmnctn Syst
8 Appl High Temp Superconduct
9 Adv Antenna & EM Wave Structs
10 EM Bounary-Value Problems
11 Quantum Info Procesng Devices
12 FT/MM Techniques for EM Propg
13 Quantuam Information Devices
14 Quantum Electrncs & Photonics
15 Intro Elctrmgntc Compatibility
16 Nonlinear RF Devices, Circuits
17 Photonics
18 Nanoelectronics for QIP
19 Photonics and Optics

ECE 780 Special Topics in Control (0.50) LEC	Course ID: 010657


1 Sampled Data Controlled System
2 Discrete Event Systems
3 Robot Dynamics & Control
4 Robust Control
5 Linear Control Systems
6 Humanoid Robotics
7 Fault-Tolerant Secure Control
8 Motion Coordination & Planning

ECE 781 Adaptive Control (0.50) LEC	Course ID: 000865
Adaptive control is an approach used to deal with the unavoidable problem of plant uncertainty. Rather than providing a fixed linear time-invariant controller, this approach yields a controller whoes parameters change with time. This controller typically consists of a linear time-invariant compensator together with a tuning mechanism which adjusts the controller gains; typical control objectives are stabilization and tracking.The bulk of the course will be centered on an identifier based approach. Here one chooses a model for the plant, whose parameters are unknown, and the plant parameters are recursively estimated; controller gains are computed assuming that the present estimate is corrent. We first study algorithms to carry out parameter estimation, we then look at various control laws, and finally these are combined to yield an adaptive controller. Related Background: knowledge of linear system.

ECE 784 Introduction to Stochastic Calculus (0.50) LEC	Course ID: 000868
Monotone and Dynkin class theorems, introduction to discrete and continuous parameter martingales, stochastic integrals, Ito formula, Girsanov transformation. Held with: STAT 902.

ECE 6000s

ECE 6601PD Power System Components and Modeling (0.50) LEC	Course ID: 012050
Discuss in detail the basic structure, functional characteristics and protection schemes of the main components that make up a powers system, in particular generators, transformers, transmission lines, cables, loads, HVDC and FACTS controllers. Understand the modelling and simulation of these components for detailed electromagnetic transients analyses, as well as phasor models for power flow and stability studies.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6602PD Power System Management & Electricity Markets (0.50) LEC	Course ID: 012051
The course will provide a comprehensive overview of power system operations and management, starting with a general understanding of system economics. Many emerging issues in power sector deregulation- such as those in system reliability and system control- shall be discussed within the course. The course will provide a perspective on operations planning models and train the participant to look at technical issues of power system operation simultaneously with the economic aspects. Recommended Background: Basic understanding of power system operation is required. Knowledge of mathematical programming is desirable.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6603PD Electromagnetic Compatibility and Power Quality (0.50) LEC	Course ID: 012052
The course addresses all dimensions of Power Quality (PQ) issues including mitigation strategies. The focus is mainly on qualitative concepts and comprehensive coverage. The course introduces PQ definitions, limitations, related international standards and mathematical techniques for PQ analysis of power systems. Different identification, localization and classification techniques for PQ problems will be investigated. The various kinds of PQ problems and their effect on the load/system equipment will be looked at in detail. The mitigation strategies such as passive filtering, active and hybrid power filtering, static VAR compensation, DVR, UPQC, etc. will be investigated. Areas covered include voltage sags, interruptions, transients, flickers, harmonics and modeling and simulation of utility systems. The grounding imperfection as a major cause for PQ problems will be addressed in detail. Moreover, requirements and impact of distributed generation (DG) on network power quality will be studied in detail. Effect of DG on voltage regulation, relaying, losses, islanding and standards will be examined. Recommended Background: Basic understanding of modeling of power system elements and analysis techniques is required. Familiarity with a programming language and/or a simulation package such as EMTDC / PSCAD and MATLAB is desirable.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6604PD Distributed Generation (0.50) LEC	Course ID: 012053
The main objective of this course is to provide up-to-date knowledge about the technical and economical issues relating to the distribution generation. In addition to an introduction to various generating technologies, a more detailed part will be included discussing various applications of power electronics. The impacts of DG to the distribution system will be presented. The focus will be on electrical issues such as grid connection, protection, control, and power quality. In addition, the economical and regulatory issues will be addressed. Recommended Background: Basic understanding of modeling of power system elements and analysis techniques is required. Familiarity with a programming language and/or a simulation package such as EMTDC/PSCAD and MATLAB is desirable.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6605PD Power System Protection (0.50) LEC	Course ID: 012054
Power system protections schemes are designed primarily to minimize the duration of a fault as well as to minimize the number of customers affect by the fault. The scope of this course is to study the main elements and techniques for power system protection. The course is divided into two main parts; protective equipment and protective techniques. In the protective equipment; circuit breakers, relay, enclosures, fuses and isolating switches are discussed. Different protection techniques dedicated to protect feeders, transformers, generators and motors are discussed in the second part of the course. Recommended Background: Basic knowledge in power system engineering is required, basic knowledge in optimization techniques, statistics, and electric circuits.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6606PD Distribution System Engineering (0.50) LEC	Course ID: 012055
This course deals with the essential aspects of distribution system engineering, starting with estimation of the loads on the network to the detail design of the distribution system networks. The contents of this course are divided into three categories: Planning, design and operation. In the planning part load forecasting, and planning strategies as well as distribution automation are discussed. The design part includes the design of sub-transmission lines, distribution substations, and primary and secondary systems design considerations. The operation part includes the voltage drop and power loss calculations, voltage regulation and application of capcitor to distribution systems. Recommended Background: Basic knowledge of power systems engineering is required, optimization techniques, statistics and electric circuits.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6607PD Operation and Control of Resturctured Power Systems (0.50) LEC	Course ID: 012056
The course deals in detail with power system operation and control in the deregulated electricity market environment. The topics include electricity market design and auction mechanisms, price formation, role of the independent system operator in pool versus bilateral markets, generation scheduling in deregulation, transmission pricing paradigms, congestion management, transmission rights, ancillary services procurement and pricing, and security management in deregulation. A highlight of the course is the country- specific information provided on various operational aspects of restructured power systems worldwide. Recommended Background: Basic understanding of power system engineering is required. Knowledge of mathematical progrmming is desirable.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6608PD Dielectrics and Electrical Insulation (0.50) LEC	Course ID: 012057
Theory of gases. Photoelectric, thermal and field emission. Ionization by collision, photoionization, thermal ionization and ionization by x-rays and cosmic rays. Deionization becuase of recombination, negative ion formation, and diffusion. Behaviour of charged particles in electric fields of low E/P and high E/P (E=electric field and P=pressure). Breakdown Processes: Townsend mechanism, secondary effect, streamer formation from self sustained discharges to breakdown, breakdown in non-uniform fields, temporal development of breakdown, partial breakdown or corona discharges. Solid and Liquid Dielectrics: Types of solid and liquid insulating materials, their electrical thermal, chemical and mechanical properties; charge transport; surface discharges; breakdown mechanisms; effects of impurities on breakdown strength. Electrohydrodynamics and its influence on breakdown mechanisms in liquids; electromechanical and intrinsic breakdown strength of solids. Recommended Background: Basic knowledge of physics of materials for Electrical Engineers (ECE 209 or equivalent). Familiarity with electrical power system components is useful.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6609PD High Voltage Engineering Applications (0.50) LEC	Course ID: 012058
This course deals with generation and measurement aspects of high voltages and industrial applications of high voltage engineering. The first part concentrates on generation of high voltage ac, dc and impluse voltages of both switching and lightning surges. Measurements techniques based on different types of potential dividers and spark gaps for ac, dc, and impulse measurements will be covered. The second part deals with generation and measurements of special types of high voltages needed for industrial applications. The course also covers non-destructive measurements like surface and internal discharges, capacitance and loss factor and some optical techniques. Recommended Background: Basic knowledge of circuit analysis and low voltage measurement techniques is required. Familiarity with electrical power system components is useful.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6610PD Power Electronic Converters (0.50) LEC	Course ID: 012059
This course covers a wide range of topics in power electronics including: power semiconductor devices with emphasis on their operating characteristics, power converter topologies for ac-to-dc, dc-to-dc, dc-to-ac and ac-to-ac conversions, multi-converters and multi-level converters, control techniques in power converters, modeling of power converters, applications of power converters, converter design aspects (snubber circuits, gate/base-drive circuits, thermal management, series/parallel combinations of switches), and computer simulation of power electronic systems. Recommended Background: Basic understanding of circuit analysis and control theory is required. Familiarity with electric machinery and power systems is desirable.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6611PD Electric Machines and Motor Drives (0.50) LEC	Course ID: 012060
This course covers a wide range of topics in electric machines and motor drives including review of power electronic converter topologies, models and control techniques, review of electro-magnetics, dc machine structure, types and principles of operation, dc motor torque/speed characteristic, model, start-up and speed control techniques, synchronous machine structure and principles of operation, synchronous generator synchronization, loading and active and reactive power control, synchronous motor torque/speed characteristic, model, start-up and speed control techniques, induction machine structure and principles of operation, induction motor torque/speed characteristic, model, start-up and speed control techniques, single-phase induction motors, switched-reluctance motor structure, principles of operation and speed control, brushless dc motor structure, principles of operation and speed control, step motor structure, principles of operation and speed/position control, simulation of variable-speed drives, simulation tools, and industrial applications of motor drives. Recommended Background: Basic understanding of circuit analysis, power electronics and control theory.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6612PD FACTS: Models, Controls and Applications (0.50) LEC	Course ID: 012061
FACTS controllers are studied in detail from the functional, structural and control points of view. The course concentrates on studying the most common thyristor-controlled FACTS controllers, in particular Static Var Compensators (SVC), Thyristor-Controlled Series Compensators (TCSC) and Thyristor Controlled Voltage and Phase Regulators (TCVR and TCPAR), and voltage-sourced converter controllers, specifically the Static Compensator (STATCOM), Static Synchronous Series Compensator (SSSC) and the Unified Power Flow Controller (UPFC). Detailed and approximate models for various control strategies and practical applications of these controllers are discussed. Recommended Background: Basic understanding of power electronic converters and power systems.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6613PD Power System Analysis (0.50) LEC	Course ID: 013345
Understand the basic definitions and concepts associated with power systems analysis. Discuss in detail techniques and tools for power system analysis, with a practical perspecitve. The course will cover short circuit power flow, stability concepts including voltage, oscillatory, transcient and frequency stability.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6614PD Industrial Utilization of Electrical Energy (0.50) LEC	Course ID: 013346
Extensive electricity utilization represents one of the hallmarks of a modern society. In this course, the basic cooncepts related to use of electric energy in various industrial applications and important issues related to such usage will be examined. The course also discusses issues related to economics of energy system usage and the concept of load management. The primary objective of the course is to provide students with the skills to understand the analytical methods and modern tools for solution of problems associated with utilization of electric energy in industrial sectors.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6615PD Design and application of DC/DC Converters (0.50) LEC	Course ID: 013347
The objective of this course is to expand the knowledge and expertise of practicing engineers in the area of DC/DC converters. The course will focus on the modeling and design of DC/DC converters, including magnetic design and loop design, and their applications in DC motor drives, DC power supplies, power factor correction circuits, photovoltaic stand-alone and grid-connected systems and fuel cell-based stationary and mobile systems.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6616PD Electric Safety and Grounding System Design (0.50) LEC	Course ID: 013348
Grounding of power systems and equipment has great impact on system performance, system equipment integrity, safety of personnel as well as safety of the public at large. It acquires special relevance for distribution systems where grounding directly affects the reliability of supply to the customer, survivability of end-use equipment and safety of individuals. The main objectives of this course are - a) Discuss in detail the basic safety issues for low, medium and high voltage systems, b) Designing a reliable grounding system, c) Discuss the safety management and organizational structure and the human factor that affect electric safety.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6617PD Asset Management and Risk Assessment of Power Systems (0.50) LEC	Course ID: 013349
The course will discuss in detail the basic concepts of risk assessment and outage models of system components. It will discuss in details the concept of asset management and its main components, application examples about the risk evaluation of transmission lines, generators and substations will be considered.

Prereq: ECE Electric Power Engineering Grad Students

ECE 6618PD Medium and High Voltage Power Cables (0.50) LEC	Course ID: 013350
Vast urbanization and increasing pressure to meet high demand in power delivery have resulted in a significant growth in underground cable network. In addtiion, underground cables being a critical asset group, any outages due to their failure will result in considerable service delivery and economic impact on the operation of distribution networks. Understand the basic dielectric theory, material properties and design details of underground cables and their accessories. Understand typical failure modes and their early detection of underground cable and their accessories. Discuss in detail various off-line and on-line diagnostic tests for condition monitoring of underground cables.

Prereq: ECE Electric Power Engineering Grad Students